4 citations · 16 across the 10 of their papers we have counts for
5 papers · 1 filter
A general proof certification framework for modal logic
Tomer Libal, Marco Volpe
One of the main issues in proof certification is that different theorem provers, even when designed for the same logic, tend to use different proof formalisms and produce outputs i…
Certification of Prefixed Tableau Proofs for Modal Logic
Tomer Libal, Marco Volpe
Different theorem provers tend to produce proof objects in different formats and this is especially the case for modal logics, where several deductive formalisms (and provers based…
Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics
Carlos Caleiro, João Marcos, Marco Volpe
The paper is a contribution both to the theoretical foundations and to the actual construction of efficient automatizable proof procedures for non-classical logics. We focus here o…
A History of Until
Andrea Masini, Luca Viganò, Marco Volpe
Until is a notoriously difficult temporal operator as it is both existential and universal at the same time: A until B holds at the current time instant w iff either B holds at w o…
Labeled Natural Deduction Systems for a Family of Tense Logics
Luca Viganò, Marco Volpe
We give labeled natural deduction systems for a family of tense logics extending the basic linear tense logic Kl. We prove that our systems are sound and complete with respect to t…