( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
The Topological Mu-Calculus: Completeness and Decidability.

, , и . J. ACM, 70 (5): 33:1-33:38 (октября 2023)

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.

Nick Fandrich

Zur Charakterisierung von amphiphilen Blockcopolymeren aus N-Vinylpyrrolidon und Vinylacetat. Uni Potsdam, (2009)

Gerhard Nick

Gernot Nick

Nick Rischbieth

Nick Bretschneider

 

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

All Normal Extensions of S5-squared Are Finitely Axiomatizable., и . Stud Logica, 78 (3): 443-457 (2004)The Topological Mu-Calculus: completeness and decidability., , и . LICS, стр. 1-13. IEEE, (2021)A bimodal perspective on possibility semantics., , и . J. Log. Comput., 27 (5): 1353-1389 (2017)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)Games for Topological Fixpoint Logic., и . GandALF, том 226 из EPTCS, стр. 46-60. (2016)Free Modal Algebras: A Coalgebraic Perspective., и . CALCO, том 4624 из Lecture Notes in Computer Science, стр. 143-157. Springer, (2007)Tarski's theorem on intuitionistic logic, for polyhedra., , , и . Ann. Pure Appl. Log., 169 (5): ii (2018)Model Completeness and Π2-rules: The Case of Contact Algebras., , и . AiML, стр. 115-132. College Publications, (2020)Canonical Formulas for Wk4., и . Rev. Symb. Log., 5 (4): 731-762 (2012)