( en | de | ru )

 

Disambiguierung von "Volpe, Marco"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Labeled natural deduction for temporal logics.

. University of Verona, Italy, (2010)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Letizia Volpe

Francesco Volpe

Francesco Volpe

Francesco Volpe

Johannes Marcour

 

Weitere Publikationen von Autoren mit dem selben Namen

Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics., , und . Theor. Comput. Sci., (2015)Natural Modelling of Interactive Applications., und . DSV-IS, Volume 3941 von Lecture Notes in Computer Science, Seite 67-77. Springer, (2005)A general proof certification framework for modal logic., und . CoRR, (2018)From axioms to synthetic inference rules via focusing., , , und . 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., und . EC-TEL Workshops, Volume 213 von CEUR Workshop Proceedings, CEUR-WS.org, (2006)A focused framework for emulating modal proof systems., , und . Advances in Modal Logic, Seite 469-488. College Publications, (2016)Focused Labeled Proof Systems for Modal Logic., und . LPAR, Volume 9450 von Lecture Notes in Computer Science, Seite 266-280. Springer, (2015)Certification of Prefixed Tableau Proofs for Modal Logic., und . GandALF, Volume 226 von EPTCS, Seite 257-271. (2016)Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics., , und . CoRR, (2014)