( en | de | ru )

 

Disambiguation of "Bezhanishvili, Nick"

Author of the publication

copydeleteadd this publication to your clipboard
Tarski's theorem on intuitionistic logic, for polyhedra.

, , , and . Ann. Pure Appl. Log., 169 (5): ii (2018)

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.

Nick Fandrich

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

Gerhard Nick

Gernot Nick

Nick Bretschneider

Nick Bretl

 

Other publications of authors with the same name

All Normal Extensions of S5-squared Are Finitely Axiomatizable., and . Stud Logica, 78 (3): 443-457 (2004)A bimodal perspective on possibility semantics., , and . J. Log. Comput., 27 (5): 1353-1389 (2017)The Topological Mu-Calculus: completeness and decidability., , and . LICS, page 1-13. IEEE, (2021)Algebraic and Topological Semantics for Inquisitive Logic via Choice-Free Duality., , and . WoLLIC, volume 11541 of Lecture Notes in Computer Science, page 35-52. Springer, (2019)Tarski's theorem on intuitionistic logic, for polyhedra., , , and . Ann. Pure Appl. Log., 169 (5): ii (2018)A New Proof of the McKinsey-Tarski Theorem., , , and . Stud Logica, 106 (6): 1291-1311 (2018)All Proper Normal Extensions of S5-square have the Polynomial Size Model Property., and . Stud Logica, 73 (3): 367-382 (2003)Hereditarily Structurally Complete Intermediate Logics: Citkin's Theorem Via Duality., and . Stud Logica, 111 (2): 147-186 (April 2023)Model Completeness and Π2-rules: The Case of Contact Algebras., , and . AiML, page 115-132. College Publications, (2020)Canonical Formulas for Wk4., and . Rev. Symb. Log., 5 (4): 731-762 (2012)