( en | de | ru )

 

Disambiguation of "Volpe, Marco"

Author of the publication

copydeleteadd this publication to your clipboard
Labeled natural deduction for temporal logics.

. University of Verona, Italy, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Letizia Volpe

Francesco Volpe

Francesco Volpe

Francesco Volpe

Hans-Ernst Marcolin

 

Other publications of authors with the same name

Natural Modelling of Interactive Applications., and . DSV-IS, volume 3941 of Lecture Notes in Computer Science, page 67-77. Springer, (2005)Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics., , and . Theor. Comput. Sci., (2015)A general proof certification framework for modal logic., and . CoRR, (2018)From axioms to synthetic inference rules via focusing., , , and . Ann. Pure Appl. Log., 173 (5): 103091 (2022)Labeled natural deduction for temporal logics.. University of Verona, Italy, (2010)FireFly: Lightweight AJAX System for F2F-CL., and . EC-TEL Workshops, volume 213 of CEUR Workshop Proceedings, CEUR-WS.org, (2006)Focused Labeled Proof Systems for Modal Logic., and . LPAR, volume 9450 of Lecture Notes in Computer Science, page 266-280. Springer, (2015)A focused framework for emulating modal proof systems., , and . Advances in Modal Logic, page 469-488. College Publications, (2016)Certification of Prefixed Tableau Proofs for Modal Logic., and . GandALF, volume 226 of EPTCS, page 257-271. (2016)A general proof certification framework for modal logic., and . Math. Struct. Comput. Sci., 29 (8): 1344-1378 (2019)