From post

Algebraic and Topological Semantics for Inquisitive Logic via Choice-Free Duality.

, , и . WoLLIC, том 11541 из Lecture Notes in Computer Science, стр. 35-52. Springer, (2019)

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.

 

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

All Normal Extensions of S5-squared Are Finitely Axiomatizable., и . Stud Logica, 78 (3): 443-457 (2004)A bimodal perspective on possibility semantics., , и . J. Log. Comput., 27 (5): 1353-1389 (2017)The Topological Mu-Calculus: completeness and decidability., , и . LICS, стр. 1-13. IEEE, (2021)Algebraic and Topological Semantics for Inquisitive Logic via Choice-Free Duality., , и . WoLLIC, том 11541 из Lecture Notes in Computer Science, стр. 35-52. Springer, (2019)Topological Evidence Logics: Multi-agent Setting., , и . TbiLLC, том 13206 из Lecture Notes in Computer Science, стр. 237-257. Springer, (2019)Free Modal Algebras: A Coalgebraic Perspective., и . CALCO, том 4624 из Lecture Notes in Computer Science, стр. 143-157. Springer, (2007)Games for Topological Fixpoint Logic., и . GandALF, том 226 из EPTCS, стр. 46-60. (2016)A New Proof of the McKinsey-Tarski Theorem., , , и . Stud Logica, 106 (6): 1291-1311 (2018)All Proper Normal Extensions of S5-square have the Polynomial Size Model Property., и . Stud Logica, 73 (3): 367-382 (2003)Hereditarily Structurally Complete Intermediate Logics: Citkin's Theorem Via Duality., и . Stud Logica, 111 (2): 147-186 (апреля 2023)