Marco Volpe
Author
Alternate names M. Volpe, Marco Volpe
Institution Max Planck Institute for Mathematics
Past institutions Max Planck Institute for Mathematics, Osnabrück University, Fortiss, University of Verona, Laboratoire d'Informatique de l'École Polytechnique +4 more
H-index: 8
I10-index: 8
Works count: 32
Citations count: 189
Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics
2015 · Carlos Caleiro, João Marcos, et al. · Theoretical Computer Science
Focused Labeled Proof Systems for Modal Logic
2015 · Dale Miller, Marco Volpe · Lecture notes in computer science
Back from the future
2010 · Andrea Masini, Luca Viganò, et al. · Journal of Applied Non-Classical Logics