Nick Bezhanishvili

According to our database, Nick Bezhanishvili authored at least 87 papers between 1999 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Modal structures in groups and vector spaces.

Johan van Benthem, Nick Bezhanishvili

J. Log. Comput., 2024

Polyhedral Completeness of Intermediate Logics: the nerve criterion.

Sam Adam-Day, Nick Bezhanishvili, David Gabelaia, Vincenzo Marra

J. Symb. Log., 2024

Weak Simplicial Bisimilarity for Polyhedral Models and SLCS_eta - Extended Version.

Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Mamuka Jibladze, Diego Latella, Mieke Massink, Erik P. de Vink

CoRR, 2024

Bi-intermediate logics of trees and co-trees.

Nick Bezhanishvili, Miguel Martins, Tommaso Moraschini

Ann. Pure Appl. Log., 2024

Positive modal logic beyond distributivity.

Nick Bezhanishvili, Anna Dmitrieva, Jim de Groot, Tommaso Moraschini

Ann. Pure Appl. Log., 2024

Weak Simplicial Bisimilarity for Polyhedral Models and SLCS_η.

Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Mamuka Jibladze, Diego Latella, Mieke Massink, Erik P. de Vink

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2024

The Goldblatt-Thomason Theorem for Derivative Spaces.

Nick Bezhanishvili, David Fernández-Duque, Reihane Zoghifard

Proceedings of the Advances in Modal Logic, AiML 2024, Prague, Czech Republic, 2024

Logics of Polyhedral Reachability.

Nick Bezhanishvili, Laura Bussi, Vincenzo Ciancia, David Fernández-Duque, David Gabelaia

Proceedings of the Advances in Modal Logic, AiML 2024, Prague, Czech Republic, 2024

Coalgebraic Semantics for Intuitionistic Modal Logic.

Rodrigo Nicolau Almeida, Nick Bezhanishvili

Proceedings of the Advances in Modal Logic, AiML 2024, Prague, Czech Republic, 2024

2023

The Topological Mu-Calculus: Completeness and Decidability.

Alexandru Baltag, Nick Bezhanishvili, David Fernández-Duque

J. ACM, October, 2023

Hereditarily Structurally Complete Intermediate Logics: Citkin's Theorem Via Duality.

Nick Bezhanishvili, Tommaso Moraschini

Stud Logica, April, 2023

Admissibility of Π₂-Inference Rules: interpolation, model completion, and contact algebras.

Nick Bezhanishvili, Luca Carai, Silvio Ghilardi, Lucia Landi

Ann. Pure Appl. Log., 2023

2022

An Algebraic Approach to Inquisitive and DNA-LOGICS.

Nick Bezhanishvili, Gianluca Grilletti, Davide Emilio Quadrellaro

Rev. Symb. Log., 2022

Coalgebraic Geometric Logic: Basic Theory.

Nick Bezhanishvili, Jim de Groot, Yde Venema

Log. Methods Comput. Sci., 2022

Geometric Model Checking of Continuous Space.

Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Gianluca Grilletti, Diego Latella, Mieke Massink

Log. Methods Comput. Sci., 2022

A Coalgebraic Approach to Dualities for Neighborhood Frames.

Guram Bezhanishvili, Nick Bezhanishvili, Jim de Groot

Log. Methods Comput. Sci., 2022

The Topology of Surprise.

Alexandru Baltag, Nick Bezhanishvili, David Fernández-Duque

Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

2021

Characterizing existence of a Measurable cardinal via Modal Logic.

Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill

J. Symb. Log., 2021

The McKinsey-Tarski Theorem for Locally Compact Ordered Spaces.

Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill

Bull. Symb. Log., 2021

Tree-like constructions in topology and modal logic.

Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill

Arch. Math. Log., 2021

2020

A model-theoretic approach to descriptive general frames: the van Benthem characterization theorem.

Nick Bezhanishvili, Tim Henke

J. Log. Comput., 2020

Choice-Free Stone duality.

Nick Bezhanishvili, Wesley H. Holliday

J. Symb. Log., 2020

Minimisation in Logical Form.

Nick Bezhanishvili, Marcello M. Bonsangue, Helle Hvid Hansen, Dexter Kozen, Clemens Kupke, Prakash Panangaden, Alexandra Silva

CoRR, 2020

Duality for Instantial Neighbourhood Logic via Coalgebra.

Nick Bezhanishvili, Sebastian Enqvist, Jim de Groot

Proceedings of the Coalgebraic Methods in Computer Science, 2020

Model Completeness and Π₂-rules: The Case of Contact Algebras.

Nick Bezhanishvili, Silvio Ghilardi, Lucia Landi

Proceedings of the 13th Conference on Advances in Modal Logic, 2020

Filtrations, canonical formulas, and axiomatizations of superintuitionistic and modal logics.

Nick Bezhanishvili

Proceedings of the 13th Conference on Advances in Modal Logic, 2020

2019

A Propositional Dynamic Logic for Instantial Neighborhood Semantics.

Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist

Stud Logica, 2019

Subframization and stabilization for superintuitionistic logics.

Guram Bezhanishvili, Nick Bezhanishvili, Julia Ilin

J. Log. Comput., 2019

A New Game Equivalence, its Logic and Algebra.

Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist

J. Philos. Log., 2019

A Topological Approach to Full Belief.

Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün, Sonja Smets

J. Philos. Log., 2019

A strict implication calculus for compact Hausdorff spaces.

Guram Bezhanishvili, Nick Bezhanishvili, Thomas Santoli, Yde Venema

Ann. Pure Appl. Log., 2019

On modal logics arising from scattered locally compact Hausdorff spaces.

Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill

Ann. Pure Appl. Log., 2019

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

Nick Bezhanishvili, Gianluca Grilletti, Wesley H. Holliday

Proceedings of the Logic, Language, Information, and Computation, 2019

The McKinsey-Tarski Theorem for Topological Evidence Logics.

Alexandru Baltag, Nick Bezhanishvili, Saúl Fernández González

Proceedings of the Logic, Language, Information, and Computation, 2019

Topological Evidence Logics: Multi-agent Setting.

Alexandru Baltag, Nick Bezhanishvili, Saúl Fernández González

Proceedings of the Language, Logic, and Computation - 13th International Tbilisi Symposium, 2019

Coalgebraic Geometric Logic.

Nick Bezhanishvili, Jim de Groot, Yde Venema

Proceedings of the 8th Conference on Algebra and Coalgebra in Computer Science, 2019

2018

A New Proof of the McKinsey-Tarski Theorem.

Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill

Stud Logica, 2018

Tychonoff HED-Spaces and Zemanian Extensions of S4.3.

Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill

Rev. Symb. Log., 2018

Stable Modal Logics.

Guram Bezhanishvili, Nick Bezhanishvili, Julia Ilin

Rev. Symb. Log., 2018

Stable Formulas in Intuitionistic Logic.

Nick Bezhanishvili, Dick de Jongh

Notre Dame J. Formal Log., 2018

Tarski's theorem on intuitionistic logic, for polyhedra.

Nick Bezhanishvili, Vincenzo Marra, Daniel McNeill, Andrea Pedrini

Ann. Pure Appl. Log., 2018

2017

Instantial Neighbourhood Logic.

Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist, Junhua Yu

Rev. Symb. Log., 2017

Locally Finite Reducts of Heyting Algebras and Canonical Formulas.

Guram Bezhanishvili, Nick Bezhanishvili

Notre Dame J. Formal Log., 2017

Sahlqvist preservation for topological fixed-point logic.

Nick Bezhanishvili, Sumit Sourabh

J. Log. Comput., 2017

One-step Heyting Algebras and Hypersequent Calculi with the Bounded Proof Property.

Nick Bezhanishvili, Silvio Ghilardi, Frederik Möllerström Lauridsen

J. Log. Comput., 2017

A bimodal perspective on possibility semantics.

Johan van Benthem, Nick Bezhanishvili, Wesley H. Holliday

J. Log. Comput., 2017

Krull Dimension in Modal Logic.

Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill

J. Symb. Log., 2017

A New Game Equivalence and its Modal Logic.

Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist

Proceedings of the Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2017

Irreducible Equivalence Relations, Gleason Spaces, and de Vries Duality.

Guram Bezhanishvili, Nick Bezhanishvili, Sumit Sourabh, Yde Venema

Appl. Categorical Struct., 2017

A Study of Subminimal Logics of Negation and Their Modal Companions.

Nick Bezhanishvili, Almudena Colacito, Dick de Jongh

Proceedings of the Language, Logic, and Computation - 12th International Tbilisi Symposium, 2017

A Propositional Dynamic Logic for Instantial Neighborhood Models.

Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist

Proceedings of the Logic, Rationality, and Interaction - 6th International Workshop, 2017

Quotient Dynamics: The Logic of Abstraction.

Alexandru Baltag, Nick Bezhanishvili, Julia Ilin, Aybüke Özgün

Proceedings of the Logic, Rationality, and Interaction - 6th International Workshop, 2017

2016

Admissible Bases Via Stable Canonical Rules.

Nick Bezhanishvili, David Gabelaia, Silvio Ghilardi, Mamuka Jibladze

Stud Logica, 2016

Cofinal Stable Logics.

Guram Bezhanishvili, Nick Bezhanishvili, Julia Ilin

Stud Logica, 2016

Stable Canonical Rules.

Guram Bezhanishvili, Nick Bezhanishvili, Rosalie Iemhoff

J. Symb. Log., 2016

Games for Topological Fixpoint Logic.

Nick Bezhanishvili, Clemens Kupke

Proceedings of the Seventh International Symposium on Games, 2016

Justified Belief and the Topology of Evidence.

Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün, Sonja Smets

Proceedings of the Logic, Language, Information, and Computation, 2016

2015

Modal compact Hausdorff spaces.

Guram Bezhanishvili, Nick Bezhanishvili, John Harding

J. Log. Comput., 2015

Modal Operators on Compact Regular Frames and de Vries Algebras.

Guram Bezhanishvili, Nick Bezhanishvili, John Harding

Appl. Categorical Struct., 2015

Universal Models for the Positive Fragment of Intuitionistic Logic.

Nick Bezhanishvili, Dick de Jongh, Apostolos Tzimoulis, Zhiguang Zhao

Proceedings of the Logic, Language, and Computation, 2015

The Topology of Full and Weak Belief.

Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün, Sonja Smets

Proceedings of the Logic, Language, and Computation, 2015

2014

The bounded proof property via step algebras and step frames.

Nick Bezhanishvili, Silvio Ghilardi

Ann. Pure Appl. Log., 2014

Multiple-conclusion Rules, Hypersequents Syntax and Step Frames.

Nick Bezhanishvili, Silvio Ghilardi

Proceedings of the Advances in Modal Logic 10, 2014

Structures for Epistemic Logic.

Nick Bezhanishvili, Wiebe van der Hoek

Proceedings of the Johan van Benthem on Logic and Information Dynamics, 2014

2013

Duality and Universal Models for the Meet-Implication Fragment of IPC.

Nick Bezhanishvili, Dion Coumans, Samuel J. van Gool, Dick de Jongh

Proceedings of the Logic, Language, and Computation, 2013

Canonical formulas via locally finite reducts and generalized dualities.

Nick Bezhanishvili

Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013

Bounded Proofs and Step Frames.

Nick Bezhanishvili, Silvio Ghilardi

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2013

The Topology of Belief, Belief Revision and Defeasible Knowledge.

Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün, Sonja Smets

Proceedings of the Logic, Rationality, and Interaction - 4th International Workshop, 2013

2012

Sahlqvist theorem for modal fixed point logic.

Nick Bezhanishvili, Ian M. Hodkinson

Theor. Comput. Sci., 2012

Extendible Formulas in Two Variables in Intuitionistic Logic.

Nick Bezhanishvili, Dick de Jongh

Stud Logica, 2012

Sahlqvist Correspondence for Modal mu-calculus.

Johan van Benthem, Nick Bezhanishvili, Ian M. Hodkinson

Stud Logica, 2012

Canonical Formulas for Wk4.

Guram Bezhanishvili, Nick Bezhanishvili

Rev. Symb. Log., 2012

Minimization via Duality.

Nick Bezhanishvili, Clemens Kupke, Prakash Panangaden

Proceedings of the Logic, Language, Information and Computation, 2012

2011

An Algebraic Approach to Canonical Formulas: Modal Case.

Guram Bezhanishvili, Nick Bezhanishvili

Stud Logica, 2011

Finitely generated free Heyting algebras via Birkhoff duality and coalgebra

Nick Bezhanishvili, Mai Gehrke

Log. Methods Comput. Sci., 2011

2010

Bitopological duality for distributive lattices and Heyting algebras.

Guram Bezhanishvili, Nick Bezhanishvili, David Gabelaia, Alexander Kurz

Math. Struct. Comput. Sci., 2010

Vietoris Bisimulations.

Nick Bezhanishvili, Gaëlle Fontaine, Yde Venema

J. Log. Comput., 2010

2009

An Algebraic Approach to Canonical Formulas: intuitionistic Case.

Guram Bezhanishvili, Nick Bezhanishvili

Rev. Symb. Log., 2009

Free Heyting Algebras: Revisited.

Nick Bezhanishvili, Mai Gehrke

Proceedings of the Algebra and Coalgebra in Computer Science, 2009

2008

Frame Based Formulas for Intermediate Logics.

Nick Bezhanishvili

Stud Logica, 2008

Profinite Heyting Algebras.

Guram Bezhanishvili, Nick Bezhanishvili

Order, 2008

2007

Free Modal Algebras: A Coalgebraic Perspective.

Nick Bezhanishvili, Alexander Kurz

Proceedings of the Algebra and Coalgebra in Computer Science, 2007

2006

Transfer Results for Hybrid Logic. Part I: The Case Without Satisfaction Operators.

Nick Bezhanishvili, Balder ten Cate

J. Log. Comput., 2006

2004

All Normal Extensions of S5-squared Are Finitely Axiomatizable.

Nick Bezhanishvili, Ian M. Hodkinson

Stud Logica, 2004

2003

All Proper Normal Extensions of S5-square have the Polynomial Size Model Property.

Nick Bezhanishvili, Maarten Marx

Stud Logica, 2003

2002

Pseudomonadic Algebras as Algebraic Models of Doxastic Modal Logic.

Nick Bezhanishvili

Math. Log. Q., 2002

1999

Distributive Lattices with Quantifiers: Topological Representation.

Nick Bezhanishvili

Proceedings of the 4th Student Session of ESSLLI'99 (European Summer School on Logic, 1999