( 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.

Richard Marin

Else Marin

Denise Marin

Dalia Marin

Gerda Marin

 

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

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