Author of the publication

A focused framework for emulating modal proof systems.

, , and . Advances in Modal Logic, page 469-488. College Publications, (2016)

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.

 

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)FireFly: Lightweight AJAX System for F2F-CL., and . EC-TEL Workshops, volume 213 of CEUR Workshop Proceedings, CEUR-WS.org, (2006)Labeled natural deduction for temporal logics.. University of Verona, Italy, (2010)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)Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics., , and . CoRR, (2014)