Marco Volpe

Publication Activity (10 Years)

Years Active: 2008-2022
Publications (10 Years): 8

Top Topics

Inference Rules

Natural Deduction

Prime Implicates

Top Venues

Math. Struct. Comput. Sci.

Logica Universalis

Publications

Sonia Marin, Dale Miller, Elaine Pimentel, Marco Volpe
From axioms to synthetic inference rules via focusing. Ann. Pure Appl. Log. 173 (5) (2022)
Luis Mienhardt, Marco Volpe
Enhancing Interactivity in Propp-Based Narrative Generation. ICIDS (2021)
Tomer Libal, Marco Volpe
A general proof certification framework for modal logic. Math. Struct. Comput. Sci. 29 (8) (2019)
Tomer Libal, Marco Volpe
A general proof certification framework for modal logic. CoRR (2018)
Luca Viganò, Marco Volpe, Margherita Zorzi
A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations. Inf. Comput. 255 (2017)
Marco Rocchetto, Luca Viganò, Marco Volpe
An interpolation-based method for the verification of security protocols. J. Comput. Secur. 25 (6) (2017)
Sonia Marin, Dale Miller, Marco Volpe
A focused framework for emulating modal proof systems. Advances in Modal Logic (2016)
Tomer Libal, Marco Volpe
Certification of Prefixed Tableau Proofs for Modal Logic. GandALF (2016)
Carlos Caleiro, João Marcos, Marco Volpe
Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics. Theor. Comput. Sci. 603 (2015)
Dale Miller, Marco Volpe
Focused Labeled Proof Systems for Modal Logic. LPAR (2015)
Luca Viganò, Marco Volpe, Margherita Zorzi
Quantum State Transformations and Branching Distributed Temporal Logic - (Invited Paper). WoLLIC (2014)
Carlos Caleiro, João Marcos, Marco Volpe
Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics. CoRR (2014)
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) (2013)
Marco Rocchetto, Luca Viganò, Marco Volpe, Giacomo Dalle Vedove
Using Interpolation for the Verification of Security Protocols. STM (2013)
Carlos Caleiro, Luca Viganò, Marco Volpe
A Labeled Deduction System for the Logic UB. TIME (2013)
Marco Volpe, João Marcos, Carlos Caleiro
Classic-Like Cut-Based Tableau Systems for Finite-Valued Logics. WoLLIC (2012)
Andrea Masini, Luca Viganò, Marco Volpe
Labelled natural deduction for a bundled branching temporal logic. J. Log. Comput. 21 (6) (2011)
Andrea Masini, Luca Viganò, Marco Volpe
A History of Until. Electron. Notes Theor. Comput. Sci. 262 (2010)
Andrea Masini, Luca Viganò, Marco Volpe
Back from the future. J. Appl. Non Class. Logics 20 (3) (2010)
Andrea Masini, Luca Viganò, Marco Volpe
A History of Until CoRR (2009)
Andrea Masini, Luca Viganò, Marco Volpe
A Labeled Natural Deduction System for a Fragment of CTL*. LFCS (2009)
Luca Viganò, Marco Volpe
Labeled Natural Deduction Systems for a Family of Tense Logics CoRR (2008)
Luca Viganò, Marco Volpe
Labeled Natural Deduction Systems for a Family of Tense Logics. TIME (2008)