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

A fully labelled proof system for intuitionistic modal logics., , and . J. Log. Comput., 31 (3): 998-1022 (2021)A Pure View of Ecumenical Modalities., , , and . WoLLIC, volume 13038 of Lecture Notes in Computer Science, page 388-407. Springer, (2021)Ecumenical Modal Logic., , , and . DaLí, volume 12569 of Lecture Notes in Computer Science, page 187-204. Springer, (2020)Modal logic and the polynomial hierarchy: from QBFs to K and back., and . AiML, page 329-348. College Publications, (2022)On Intuitionistic Diamonds (and Lack Thereof)., and . TABLEAUX, volume 14278 of Lecture Notes in Computer Science, page 283-301. Springer, (2023)A focused framework for emulating modal proof systems., , and . Advances in Modal Logic, page 469-488. College Publications, (2016)Intuitionistic Gödel-Löb Logic, à la Simpson: Labelled Systems and Birelational Semantics., , and . CSL, volume 288 of LIPIcs, page 22:1-22:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)A Simple Loopcheck for Intuitionistic K., , , , and . WoLLIC, volume 14672 of Lecture Notes in Computer Science, page 47-63. Springer, (2024)Intuitionistic S4 is decidable., , , , and . LICS, page 1-13. IEEE, (2023)Nested Sequents for Quasi-transitive Modal Logics., and . CoRR, (2024)