Labelled Proofs for Quantified Modal Logic.

Alberto Artosi, Paola Benassi, Guido Governatori, Antonino Rotolo

Browse the full JELIA paper archive.