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

Else Marin

Richard Marin

Denise Marin

Dalia Marin

Gerda Marin

 

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

Focused Proof-search in the Logic of Bunched Implications., и . CoRR, (2020)A Pure View of Ecumenical Modalities., , , и . WoLLIC, том 13038 из Lecture Notes in Computer Science, стр. 388-407. Springer, (2021)A fully labelled proof system for intuitionistic modal logics., , и . J. Log. Comput., 31 (3): 998-1022 (2021)Ecumenical Modal Logic., , , и . DaLí, том 12569 из Lecture Notes in Computer Science, стр. 187-204. Springer, (2020)Modal logic and the polynomial hierarchy: from QBFs to K and back., и . AiML, стр. 329-348. College Publications, (2022)Separability and harmony in ecumenical systems., , , и . CoRR, (2022)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)Intuitionistic Gödel-Löb logic, à la Simpson: labelled systems and birelational semantics., , и . CoRR, (2023)