Publications



Andrea Masini, Luca Vigano', Marco Volpe: A History of Until. M4M-6: Electr. Notes Theor. Comput. Sci. 262: 189-204 (2010)

Andrea Masini, Luca Vigano', Marco Volpe: A Labeled Natural Deduction System for a Fragment of CTL*. LFCS 2009: Lecture Notes in Computer Science 5407: 338-353, Springer (2009)

Luca Vigano', Marco Volpe: Labeled Natural Deduction Systems for a Family of Tense Logics. TIME 2008: Proceedings: 118-126, IEEE Computer Society (2008)


Andrea Masini, Luca Vigano', Marco Volpe: Labelled Natural Deduction for a Bundled Branching Temporal Logic. Journal of Logic and Computation (2010)

Andrea Masini, Luca Vigano', Marco Volpe: Back from the future. Journal of Applied Non-Classical Logics, Vol.20/3, pp. 241--277 (2010)

Carlos Caleiro, Luca Vigano', Marco Volpe: On the Mosaic Method for Many-Dimensional Modal Logics: A Case Study Combining Tense and Modal Operators. Logica Universalis (To Appear)


 Labeled Natural Deduction for Temporal Logics, Department of Computer Science, University of Verona, 2010.
Supervisor: Prof. Luca Vigano'


Logica Lineare e Quantificatori Locativi, Department of Computer Science, University of Rome "La Sapienza", 2006 (in Italian).
Supervisor: Prof. Stefano Guerrini



ISI ResearcherID: http://www.researcherid.com/rid/D-2562-2011




Back to Home