( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A focused framework for emulating modal proof systems.

, , и . Advances in Modal Logic, стр. 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.

Letizia Volpe

Francesco Volpe

Francesco Volpe

Francesco Volpe

Monika Marcotty

 

Другие публикации лиц с тем же именем

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