Items where Author is "Bezhanishvili, Nick"

PP-2016-21: Baltag, Alexandru and Bezhanishvili, Nick and Smets, Sonja (2016) Justified Belief and the Topology of Evidence. [Report]

PP-2016-19: Bezhanishvili, Guram and Bezhanishvili, Nick and Lucero-Bryan, Joel and van Mill, Jan (2016) Topological and logical explorations of Krull dimension. [Report]

PP-2016-20: Bezhanishvili, Nick and de Jongh, Dick and Tzimoulis, Apostolos and Zhao, Zhiguang (2016) Universal models for the positive fragment of intuitionistic logic. [Report]

PP-2016-11: Bezhanishvili, Guram and Bezhanishvili, Nick and Ilin, Julia (2016) Stable modal logics. [Report]

PP-2016-04: van Benthem, Johan and Bezhanishvili, Nick and Holliday, Wesley H. (2016) A bimodal perspective on possibility semantics. [Report]

PP-2015-21: Bezhanishvili, Nick and Ghilardi, Silvio and Lauridsen, Frederik Möllerström (2015) One-step Heyting algebras and hypersequent calculi with the bounded proof property. [Report]

PP-2015-18: Baltag, Alexandru and Bezhanishvili, Nick and Smets, Sonja (2015) The topological theory of belief. [Report]

PP-2015-17: van Benthem, Johan and Bezhanishvili, Nick and Enqvist, Sebastian and Yu, Junhua (2015) Instantial neighbourhood logic. [Report]

PP-2015-16: Bezhanishvili, Nick and Galatos, Nick and Spada, Luca (2015) Canonical formulas for k-potent commutative, integral residuated lattices. [Report]

PP-2015-14: Bezhanishvili, Nick and Gabelaia, David and Ghilardi, Silvio and Jibladze, Mamuka (2015) Admissible bases via stable canonical rules. [Report]

PP-2015-15: Bezhanishvili, Guram and Bezhanishvili, Nick and Lucero-Bryan, Joel and van Mill, Jan (2015) S4.3 and hereditarily extremally disconnected spaces. [Report]

PP-2015-08: Bezhanishvili, Guram and Bezhanishvili, Nick and Ilin, Julia (2015) Cofinal stable logics. [Report]

PP-2015-09: Bezhanishvili, Nick and Sourabh, Sumit (2015) Sahlqvist preservation for topological fixed-point logic. [Report]

PP-2015-04: Andréka, Hajnal and van Benthem, Johan and Bezhanishvili, Nick and Németi, István (2015) Changing a Semantics: Opportunism or Courage? [Report]

PP-2014-23: Bezhanishvili, Guram and Bezhanishvili, Nick and Sourabh, Sumit and Venema, Yde (2014) Subordinations, closed relations, and compact Hausdorff spaces. [Report]

PP-2014-19: Bezhanishvili, Nick and de Jongh, Dick (2014) Stable formulas in intuitionistic logic. [Report]

PP-2014-10: Andreka, Hajnal and van Benthem, Johan and Bezhanishvili, Nick and Németi, István (2014) Changing a semantics: opportunism or courage? [Report]

PP-2014-08: Bezhanishvili, Guram and Bezhanishvili, Nick and Iemhoff, Rosalie (2014) Stable canonical rules. [Report]

PP-2014-05: Bezhanishvili, Nick and Ghilardi, Silvio (2014) Multiple-conclusion Rules, Hypersequents Syntax and Step Frames. [Report]

PP-2014-03: Baltag, Alexandru and Bezhanishvili, Nick and Smets, Sonja (2014) The Topology of Full and Weak Belief. [Report]

PP-2014-02: Bezhanishvili, Nick and Coumans, Dion and van Gool, Sam and de Jongh, Dick (2014) Duality and universal models for the meet-implication fragment of IPC. [Report]

PP-2011-34: Bezhanishvili, Nick and de Jongh, Dick (2011) Extendible formulas in two variables in intuitionistic logic. [Report]

PP-2011-21: van Benthem, Johan and Bezhanishvili, Nick and Hodkinson, Ian (2011) Sahlqvist Correspondence for Modal Mu-Calculus. [Report]

PP-2008-11: Bezhanishvili, Guram and Bezhanishvili, Nick and de Jongh, Dick (2008) The Kuznetsov-Gerciu and Rieger-Nishimura Logics: The Boundaries of the Finite Model Property. [Report]

X-2006-03: Bezhanishvili, Nick and Kurzen, Lena and Sterken, Rachel (2006) Student Papers from an Intuitionistic Logic Project. [Report]

PP-2006-25: Bezhanishvili, Nick and de Jongh, Dick (2006) Intuitionistic Logic. [Report]

DS-2006-02: Bezhanishvili, Nick (2006) Lattices of intermediate and cylindric modal logics. Doctoral thesis, University of Amsterdam.

PP-2004-06: Bezhanishvili, Nick and ten Cate, Balder (2004) Transfer results for hybrid logic -- Part I: the case without satisfaction operators. [Report]

PP-2003-25: Bezhanishvili, Nick and Hodkinson, Ian (2003) All normal extensions of S5-squared are finitely axiomatizable. [Report]

PP-2002-18: Bezhanishvili, Nick (2002) Varieties of Two-Dimensional Cylindric Algebras. Part II. [Report]

PP-2000-14: Marx, Maarten and Bezhanishvili, Nick (2000) All proper normal extensions of S5--square have the polynomial size model property. [Report]

PP-2000-10: Bezhanishvili, Nick (2000) Varieties of Two-Dimensional Diagonal-Free Cylindric Algebras. Part I. [Report]

PP-2020-10: Bezhanishvili, Nick and Grilletti, Gianluca and Quadrellaro, Davide Emilio (2020) An Algebraic Approach to Inquisitive and DNA-Logics. [Pre-print] (Submitted)

PP-2022-04: Bezhanishvili, Nick and Martins, Miguel and Moraschini, Tommaso (2022) Bi-intermediate logics of trees and co-trees. [Pre-print]

PP-2020-02: Bezhanishvili, Guram and Bezhanishvili, Nick and Lucero-Bryan, Joel and van Mill, Jan (2020) Characterizing existence of a measurable cardinal via modal logic. [Pre-print]

PP-2018-13: Bezhanishvili, Nick and Holliday, Wesley H. (2018) Choice-free Stone duality. [Pre-print]

PP-2019-09: Bezhanishvili, Nick and de Groot, Jim and Venema, Yde (2019) Coalgebraic geometric logic. [Pre-print]

PP-2023-04: Bezhanishvili, Guram and Bezhanishvili, Nick and Moraschini, Tommaso (2023) Degrees of the finite model property: The antidichotomy theorem. [Pre-print]

PP-2020-04: Bezhanishvili, Guram and Bezhanishvili, Nick and Carai, Luca and Gabelaia, David and Ghilardi, Silvio and Jibladze, Mamuka (2020) Diego's theorem for nuclear implicative semilattices. [Pre-print]

PP-2020-08: Bezhanishvili, Nick and Enqvist, Sebastian and de Groot, Jim (2020) Duality for instantial neighbourhood logic via coalgebra. [Pre-print]

PP-2020-03: Bezhanishvili, Nick and Moraschini, Tommaso (2020) Hereditarily structurally complete intermediate logics: Citkin's theorem via Esakia duality. [Pre-print]

PP-2017-23: van Benthem, Johan and Bezhanishvili, Nick and Enqvist, Sebastian (2017) IPDL: a new modal logic of computation. [Pre-print] (Submitted)

PP-2020-12: Bezhanishvili, Guram and Bezhanishvili, Nick (2020) Jankov formulas and axiomatization techniques for intermediate logics. [Pre-print]

PP-2019-08: Baltag, Alexandru and Bezhanishvili, Nick and Fernández González, Saúl (2019) The McKinsey-Tarski Theorem for Topological Evidence Logics. [Pre-print]

PP-2020-05: Bezhanishvili, Guram and Bezhanishvili, Nick and Lucero-Bryan, Joel and van Mill, Jan (2020) The McKinsey-Tarski theorem for locally compact ordered spaces. [Pre-print]

PP-2022-03: van Benthem, Johan and Bezhanishvili, Nick (2022) Modal structures in groups and vector spaces. [Pre-print]

PP-2019-13: van Benthem, Johan and Bezhanishvili, Nick (2019) Modern faces of filtration. [Pre-print]

PP-2017-25: van Benthem, Johan and Bezhanishvili, Nick and Enqvist, Sebastian (2017) A New Game Equivalence and Its Modal Logic. [Pre-print]

PP-2017-14: Bezhanishvili, Guram and Bezhanishvili, Nick and Lucero-Bryan, Joel and van Mill, Jan (2017) On modal logics arising from scattered locally compact Hausdorff spaces. [Pre-print]

PP-2021-05: Bezhanishvili, Guram and Bezhanishvili, Nick and Moraschini, Tommaso and Stronkowski, Michal (2021) Profiniteness and representability of spectra of Heyting algebras. [Pre-print]

PP-2018-09: Bezhanishvili, Nick and Colacito, Almudena and de Jongh, Dick (2018) A Study of Subminimal Logics of Negation and their Modal Companions. [Pre-print] (Submitted)

PP-2016-36: Bezhanishvili, Guram and Bezhanishvili, Nick and Ilin, Julia (2016) Subframization and stabilization for superintuitionistic logics. [Pre-print] (Submitted)

PP-2017-03: Bezhanishvili, Nick and Marra, Vincenzo and McNeill, Daniel and Pedrini, Andrea (2017) Tarski's theorem on intuitionistic logic, for polyhedra. [Pre-print]

PP-2022-06: Baltag, Alexandru and Bezhanishvili, Nick and Fernandez Duque, David (2022) The Topology of Surprise. [Pre-print]

PP-2022-07: Bezhanishvili, Nick and Cleani, Antonio M. (2022) Translational embeddings via stable canonical rules. [Pre-print]

PP-2016-37: Bezhanishvili, Guram and Bezhanishvili, Nick and Lucero-Bryan, Joel and van Mill, Jan (2016) Tychonoff HED-spaces and Zemanian extensions of S4.3. [Pre-print]

PP-2021-06: Bezhanishvili, Guram and Bezhanishvili, Nick and de Groot, Jim (2021) A coalgebraic approach to dualities for neighbourhood frames. [Pre-print]

PP-2023-05: Adam-Day, Sam and Bezhanishvili, Nick and Gabelaia, David and Marra, Vincenzo (2023) The intermediate logic of convex polyhedra. [Pre-print]

PP-2020-11: Bezhanishvili, Nick and Henke, Tim (2020) A model-theoretic approach to descriptive general frames: the van Benthem characterisation theorem. [Pre-print]

PP-2020-22: Adam-Day, Sam and Bezhanishvili, Nick and Gabelaia, David and Marra, Vincenzo (2020) The nerve criterion and polyhedral completeness of intermediate logics. [Pre-print]

PP-2018-06: van Benthem, Johan and Bezhanishvili, Nick and Enqvist, Sebastian (2018) A new game equivalence, its logic and algebra. [Pre-print]

PP-2017-13: Bezhanishvili, Guram and Bezhanishvili, Nick and Lucero-Bryan, Joel and van Mill, Jan (2017) A new proof of the McKinsey-Tarski Theorem. [Pre-print]

PP-2018-01: van Benthem, Johan and Bezhanishvili, Nick and Enqvist, Sebastian (2018) A propositional dynamic logic for instantial neighborhood semantics. [Pre-print]

PP-2017-06: Bezhanishvili, Guram and Bezhanishvili, Nick and Santoli, Thomas and Venema, Yde (2017) A simple propositional calculus for compact Hausdorff spaces. [Pre-print]

PP-2021-07: Baltag, Alexandru and Bezhanishvili, Nick and Fernandez Duque, David (2021) The topological mu-calculus: completeness and decidability. [Pre-print]