Marco Volpe

University of Verona, Italy

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

other persons with the same name:

Ask others: ACM DL/Guide -

	2013
j4		Carlos Caleiro, Luca Viganò, Marco Volpe: On the Mosaic Method for Many-Dimensional Modal Logics: A Case Study Combining Tense and Modal Operators. Logica Universalis 7(1): 33-69 (2013)
	2012
c3		Marco Volpe, João Marcos, Carlos Caleiro: Classic-Like Cut-Based Tableau Systems for Finite-Valued Logics. WoLLIC 2012: 321-335
	2011
j3		Andrea Masini, Luca Viganò, Marco Volpe: Labelled natural deduction for a bundled branching temporal logic. J. Log. Comput. 21(6): 1093-1163 (2011)
	2010
j2		Andrea Masini, Luca Viganò, Marco Volpe: A History of Until. Electr. Notes Theor. Comput. Sci. 262: 189-204 (2010)
j1		Andrea Masini, Luca Viganò, Marco Volpe: Back from the future. Journal of Applied Non-Classical Logics 20(3): 241-277 (2010)
	2009
c2		Andrea Masini, Luca Viganò, Marco Volpe: A Labeled Natural Deduction System for a Fragment of CTL*. LFCS 2009: 338-353
i2		Andrea Masini, Luca Viganò, Marco Volpe: A History of Until. CoRR abs/0910.4500 (2009)
	2008
c1		Luca Viganò, Marco Volpe: Labeled Natural Deduction Systems for a Family of Tense Logics. TIME 2008: 118-126
i1		Luca Viganò, Marco Volpe: Labeled Natural Deduction Systems for a Family of Tense Logics. CoRR abs/0803.3187 (2008)

Coauthor Index

Last update Sun May 26 02:21:07 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page