Nick Bezhanishvili

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 61

Top Topics

Top Venues

Ann. Pure Appl. Log.

J. Log. Comput.

Publications

Nick Bezhanishvili, Miguel Martins, Tommaso Moraschini
Bi-intermediate logics of trees and co-trees. Ann. Pure Appl. Log. 175 (10) (2024)
Sam Adam-Day, Nick Bezhanishvili, David Gabelaia, Vincenzo Marra
Polyhedral Completeness of Intermediate Logics: the nerve criterion. J. Symb. Log. 89 (1) (2024)
Nick Bezhanishvili, Anna Dmitrieva, Jim de Groot, Tommaso Moraschini
Positive modal logic beyond distributivity. Ann. Pure Appl. Log. 175 (2) (2024)
Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Mamuka Jibladze, Diego Latella, Mieke Massink, Erik P. de Vink
. FORTE (2024)
Rodrigo Nicolau Almeida, Nick Bezhanishvili
A Coalgebraic Semantics for Intuitionistic Modal Logic. CoRR (2024)
Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Mamuka Jibladze, Diego Latella, Mieke Massink, Erik P. de Vink
Weak Simplicial Bisimilarity for Polyhedral Models and SLCS_eta - Extended Version. CoRR (2024)
Johan van Benthem, Nick Bezhanishvili
Modal structures in groups and vector spaces. J. Log. Comput. 34 (1) (2024)
Nick Bezhanishvili, Laura Bussi, Vincenzo Ciancia, David Fernández-Duque, David Gabelaia
Logics of polyhedral reachability. CoRR (2024)
Nick Bezhanishvili, Luca Carai, Silvio Ghilardi, Lucia Landi
-Inference Rules: interpolation, model completion, and contact algebras. Ann. Pure Appl. Log. 174 (1) (2023)
Nick Bezhanishvili, Tommaso Moraschini
Hereditarily Structurally Complete Intermediate Logics: Citkin's Theorem Via Duality. Stud Logica 111 (2) (2023)
Alexandru Baltag, Nick Bezhanishvili, David Fernández-Duque
The Topological Mu-Calculus: Completeness and Decidability. J. ACM 70 (5) (2023)
Nick Bezhanishvili, Jim de Groot, Yde Venema
Coalgebraic Geometric Logic: Basic Theory. Log. Methods Comput. Sci. 18 (4) (2022)
Guram Bezhanishvili, Nick Bezhanishvili, Jim de Groot
A Coalgebraic Approach to Dualities for Neighborhood Frames. Log. Methods Comput. Sci. 18 (3) (2022)
Alexandru Baltag, Nick Bezhanishvili, David Fernández-Duque
The Topology of Surprise. KR (2022)
Nick Bezhanishvili, Gianluca Grilletti, Davide Emilio Quadrellaro
An Algebraic Approach to Inquisitive and DNA-LOGICS. Rev. Symb. Log. 15 (4) (2022)
Nick Bezhanishvili, Anna Dmitrieva, Jim de Groot, Tommaso Moraschini
Positive (Modal) Logic Beyond Distributivity. CoRR (2022)
Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Gianluca Grilletti, Diego Latella, Mieke Massink
Geometric Model Checking of Continuous Space. Log. Methods Comput. Sci. 18 (4) (2022)
Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill
Tree-like constructions in topology and modal logic. Arch. Math. Log. 60 (3-4) (2021)
Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill
Characterizing existence of a Measurable cardinal via Modal Logic. J. Symb. Log. 86 (1) (2021)
Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Gianluca Grilletti, Diego Latella, Mieke Massink
Geometric Model Checking of Continuous Space. CoRR (2021)
Guram Bezhanishvili, Nick Bezhanishvili, Jim de Groot
A Coalgebraic Approach to Dualities for Neighborhood Frames. CoRR (2021)
Alexandru Baltag, Nick Bezhanishvili, David Fernández-Duque
The Topological Mu-Calculus: completeness and decidability. LICS (2021)
Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill
The McKinsey-Tarski Theorem for Locally Compact Ordered Spaces. Bull. Symb. Log. 27 (2) (2021)
Alexandru Baltag, Nick Bezhanishvili, David Fernández-Duque
The Topological Mu-Calculus: completeness and decidability. CoRR (2021)
Nick Bezhanishvili
Filtrations, canonical formulas, and axiomatizations of superintuitionistic and modal logics. AiML (2020)
Nick Bezhanishvili, Wesley H. Holliday
Choice-Free Stone duality. J. Symb. Log. 85 (1) (2020)
Nick Bezhanishvili, Sebastian Enqvist, Jim de Groot
Duality for Instantial Neighbourhood Logic via Coalgebra. CMCS (2020)
Nick Bezhanishvili, Tim Henke
A model-theoretic approach to descriptive general frames: the van Benthem characterization theorem. J. Log. Comput. 30 (7) (2020)
Nick Bezhanishvili, Marcello M. Bonsangue, Helle Hvid Hansen, Dexter Kozen, Clemens Kupke, Prakash Panangaden, Alexandra Silva
Minimisation in Logical Form. CoRR (2020)
Nick Bezhanishvili, Silvio Ghilardi, Lucia Landi
-rules: The Case of Contact Algebras. AiML (2020)
Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist
A Propositional Dynamic Logic for Instantial Neighborhood Semantics. Stud Logica 107 (4) (2019)
Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist
A New Game Equivalence, its Logic and Algebra. J. Philos. Log. 48 (4) (2019)
Nick Bezhanishvili, Jim de Groot, Yde Venema
Coalgebraic Geometric Logic. CALCO (2019)
Guram Bezhanishvili, Nick Bezhanishvili, Thomas Santoli, Yde Venema
A strict implication calculus for compact Hausdorff spaces. Ann. Pure Appl. Log. 170 (11) (2019)
Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün, Sonja Smets
A Topological Approach to Full Belief. J. Philos. Log. 48 (2) (2019)
Alexandru Baltag, Nick Bezhanishvili, Saúl Fernández González
Topological Evidence Logics: Multi-agent Setting. TbiLLC (2019)
Nick Bezhanishvili, Gianluca Grilletti, Wesley H. Holliday
Algebraic and Topological Semantics for Inquisitive Logic via Choice-Free Duality. WoLLIC (2019)
Alexandru Baltag, Nick Bezhanishvili, Saúl Fernández González
The McKinsey-Tarski Theorem for Topological Evidence Logics. WoLLIC (2019)
Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill
On modal logics arising from scattered locally compact Hausdorff spaces. Ann. Pure Appl. Log. 170 (5) (2019)
Guram Bezhanishvili, Nick Bezhanishvili, Julia Ilin
Subframization and stabilization for superintuitionistic logics. J. Log. Comput. 29 (1) (2019)
Guram Bezhanishvili, Nick Bezhanishvili, Julia Ilin
Stable Modal Logics. Rev. Symb. Log. 11 (3) (2018)
Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill
A New Proof of the McKinsey-Tarski Theorem. Stud Logica 106 (6) (2018)
Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill
Tychonoff HED-Spaces and Zemanian Extensions of S4.3. Rev. Symb. Log. 11 (1) (2018)
Nick Bezhanishvili, Dick de Jongh
Stable Formulas in Intuitionistic Logic. Notre Dame J. Formal Log. 59 (3) (2018)
Nick Bezhanishvili, Vincenzo Marra, Daniel McNeill, Andrea Pedrini
Tarski's theorem on intuitionistic logic, for polyhedra. Ann. Pure Appl. Log. 169 (5) (2018)
Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill
Krull Dimension in Modal Logic. J. Symb. Log. 82 (4) (2017)
Alexandru Baltag, Nick Bezhanishvili, Julia Ilin, Aybüke Özgün
Quotient Dynamics: The Logic of Abstraction. LORI (2017)
Nick Bezhanishvili, Sumit Sourabh
Sahlqvist preservation for topological fixed-point logic. J. Log. Comput. 27 (3) (2017)
Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist, Junhua Yu
Instantial Neighbourhood Logic. Rev. Symb. Log. 10 (1) (2017)
Johan van Benthem, Nick Bezhanishvili, Wesley H. Holliday
A bimodal perspective on possibility semantics. J. Log. Comput. 27 (5) (2017)
Nick Bezhanishvili, Silvio Ghilardi, Frederik Möllerström Lauridsen
One-step Heyting Algebras and Hypersequent Calculi with the Bounded Proof Property. J. Log. Comput. 27 (7) (2017)
Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist
A New Game Equivalence and its Modal Logic. TARK (2017)
Nick Bezhanishvili, Almudena Colacito, Dick de Jongh
A Study of Subminimal Logics of Negation and Their Modal Companions. TbiLLC (2017)
Guram Bezhanishvili, Nick Bezhanishvili, Sumit Sourabh, Yde Venema
Irreducible Equivalence Relations, Gleason Spaces, and de Vries Duality. Appl. Categorical Struct. 25 (3) (2017)
Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist
A Propositional Dynamic Logic for Instantial Neighborhood Models. LORI (2017)
Guram Bezhanishvili, Nick Bezhanishvili
Locally Finite Reducts of Heyting Algebras and Canonical Formulas. Notre Dame J. Formal Log. 58 (1) (2017)
Nick Bezhanishvili, David Gabelaia, Silvio Ghilardi, Mamuka Jibladze
Admissible Bases Via Stable Canonical Rules. Stud Logica 104 (2) (2016)
Guram Bezhanishvili, Nick Bezhanishvili, Rosalie Iemhoff
Stable Canonical Rules. J. Symb. Log. 81 (1) (2016)
Guram Bezhanishvili, Nick Bezhanishvili, Julia Ilin
Cofinal Stable Logics. Stud Logica 104 (6) (2016)
Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün, Sonja Smets
Justified Belief and the Topology of Evidence. WoLLIC (2016)
Nick Bezhanishvili, Clemens Kupke
Games for Topological Fixpoint Logic. GandALF (2016)
Guram Bezhanishvili, Nick Bezhanishvili, John Harding
Modal compact Hausdorff spaces. J. Log. Comput. 25 (1) (2015)
Guram Bezhanishvili, Nick Bezhanishvili, John Harding
Modal Operators on Compact Regular Frames and de Vries Algebras. Appl. Categorical Struct. 23 (3) (2015)
Nick Bezhanishvili, Dick de Jongh, Apostolos Tzimoulis, Zhiguang Zhao
Universal Models for the Positive Fragment of Intuitionistic Logic. TbiLLC (2015)
Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün, Sonja Smets
The Topology of Full and Weak Belief. TbiLLC (2015)
Nick Bezhanishvili, Silvio Ghilardi
The bounded proof property via step algebras and step frames. Ann. Pure Appl. Log. 165 (12) (2014)
Nick Bezhanishvili, Silvio Ghilardi
Multiple-conclusion Rules, Hypersequents Syntax and Step Frames. Advances in Modal Logic (2014)
Nick Bezhanishvili, Silvio Ghilardi
Bounded Proofs and Step Frames. TABLEAUX (2013)
Nick Bezhanishvili, Dion Coumans, Samuel J. van Gool, Dick de Jongh
Duality and Universal Models for the Meet-Implication Fragment of IPC. TbiLLC (2013)
Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün, Sonja Smets
The Topology of Belief, Belief Revision and Defeasible Knowledge. LORI (2013)
Nick Bezhanishvili
Canonical formulas via locally finite reducts and generalized dualities. TACL (2013)
Nick Bezhanishvili, Ian M. Hodkinson
Sahlqvist theorem for modal fixed point logic. Theor. Comput. Sci. 424 (2012)
Guram Bezhanishvili, Nick Bezhanishvili
Canonical Formulas for Wk4. Rev. Symb. Log. 5 (4) (2012)
Nick Bezhanishvili, Clemens Kupke, Prakash Panangaden
Minimization via Duality. WoLLIC (2012)
Nick Bezhanishvili, Dick de Jongh
Extendible Formulas in Two Variables in Intuitionistic Logic. Stud Logica 100 (1-2) (2012)
Johan van Benthem, Nick Bezhanishvili, Ian M. Hodkinson
Sahlqvist Correspondence for Modal mu-calculus. Stud Logica 100 (1-2) (2012)
Guram Bezhanishvili, Nick Bezhanishvili
An Algebraic Approach to Canonical Formulas: Modal Case. Stud Logica 99 (1-3) (2011)
Nick Bezhanishvili, Mai Gehrke
Finitely generated free Heyting algebras via Birkhoff duality and coalgebra Log. Methods Comput. Sci. 7 (2) (2011)
Nick Bezhanishvili, Gaëlle Fontaine, Yde Venema
Vietoris Bisimulations. J. Log. Comput. 20 (5) (2010)
Guram Bezhanishvili, Nick Bezhanishvili, David Gabelaia, Alexander Kurz
Bitopological duality for distributive lattices and Heyting algebras. Math. Struct. Comput. Sci. 20 (3) (2010)
Nick Bezhanishvili, Mai Gehrke
Free Heyting Algebras: Revisited. CALCO (2009)
Guram Bezhanishvili, Nick Bezhanishvili
An Algebraic Approach to Canonical Formulas: intuitionistic Case. Rev. Symb. Log. 2 (3) (2009)
Nick Bezhanishvili
Frame Based Formulas for Intermediate Logics. Stud Logica 90 (2) (2008)
Guram Bezhanishvili, Nick Bezhanishvili
Profinite Heyting Algebras. Order 25 (3) (2008)
Nick Bezhanishvili, Alexander Kurz
Free Modal Algebras: A Coalgebraic Perspective. CALCO (2007)
Nick Bezhanishvili, Balder ten Cate
Transfer Results for Hybrid Logic. Part I: The Case Without Satisfaction Operators. J. Log. Comput. 16 (2) (2006)
Nick Bezhanishvili, Ian M. Hodkinson
All Normal Extensions of S5-squared Are Finitely Axiomatizable. Stud Logica 78 (3) (2004)
Nick Bezhanishvili, Maarten Marx
All Proper Normal Extensions of S5-square have the Polynomial Size Model Property. Stud Logica 73 (3) (2003)
Nick Bezhanishvili
Pseudomonadic Algebras as Algebraic Models of Doxastic Modal Logic. Math. Log. Q. 48 (4) (2002)
Nick Bezhanishvili
Distributive Lattices with Quantifiers: Topological Representation. ESSLLI Student Papers (1999)