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

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)A Pure View of Ecumenical Modalities., , , and . WoLLIC, volume 13038 of Lecture Notes in Computer Science, page 388-407. Springer, (2021)A fully labelled proof system for intuitionistic modal logics., , and . J. Log. Comput., 31 (3): 998-1022 (2021)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)A Simple Loopcheck for Intuitionistic K., , , , and . WoLLIC, volume 14672 of Lecture Notes in Computer Science, page 47-63. Springer, (2024)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)Intuitionistic S4 is decidable., , , , and . LICS, page 1-13. IEEE, (2023)Nested Sequents for Quasi-transitive Modal Logics., and . CoRR, (2024)