Distributive Lattices with Quantifiers: Topological Representation. - Nick Bezhanishvili (ESSLLI Student Papers, 1999)

Pseudomonadic Algebras as Algebraic Models of Doxastic Modal Logic. - Nick Bezhanishvili (Math. Log. Q., 2002)

All Proper Normal Extensions of S5-square have the Polynomial Size Model Property. - Nick Bezhanishvili; Maarten Marx (Stud Logica, 2003)

All Normal Extensions of S5-squared Are Finitely Axiomatizable. - Nick Bezhanishvili; Ian M. Hodkinson (Stud Logica, 2004)

Transfer Results for Hybrid Logic. Part I: The Case Without Satisfaction Operators. - Nick Bezhanishvili; Balder ten Cate (J. Log. Comput., 2006)

Free Modal Algebras: A Coalgebraic Perspective. - Nick Bezhanishvili; Alexander Kurz 001 (CALCO, 2007)

Profinite Heyting Algebras. - Guram Bezhanishvili; Nick Bezhanishvili (Order, 2008)

Frame Based Formulas for Intermediate Logics. - Nick Bezhanishvili (Stud Logica, 2008)

Free Heyting Algebras: Revisited. - Nick Bezhanishvili; Mai Gehrke (CALCO, 2009)

An Algebraic Approach to Canonical Formulas: intuitionistic Case. - Guram Bezhanishvili; Nick Bezhanishvili (Rev. Symb. Log., 2009)

Vietoris Bisimulations. - Nick Bezhanishvili; Gaëlle Fontaine; Yde Venema (J. Log. Comput., 2010)

Bitopological duality for distributive lattices and Heyting algebras. - Guram Bezhanishvili; Nick Bezhanishvili; David Gabelaia; Alexander Kurz 001 (Math. Struct. Comput. Sci., 2010)

Finitely generated free Heyting algebras via Birkhoff duality and coalgebra - Nick Bezhanishvili; Mai Gehrke (Log. Methods Comput. Sci., 2011)

An Algebraic Approach to Canonical Formulas: Modal Case. - Guram Bezhanishvili; Nick Bezhanishvili (Stud Logica, 2011)

Minimization via Duality. - Nick Bezhanishvili; Clemens Kupke; Prakash Panangaden (WoLLIC, 2012)

Canonical Formulas for Wk4. - Guram Bezhanishvili; Nick Bezhanishvili (Rev. Symb. Log., 2012)

Sahlqvist Correspondence for Modal mu-calculus. - Johan van Benthem; Nick Bezhanishvili; Ian M. Hodkinson (Stud Logica, 2012)

Extendible Formulas in Two Variables in Intuitionistic Logic. - Nick Bezhanishvili; Dick de Jongh (Stud Logica, 2012)

Sahlqvist theorem for modal fixed point logic. - Nick Bezhanishvili; Ian M. Hodkinson (Theor. Comput. Sci., 2012)

The Topology of Belief, Belief Revision and Defeasible Knowledge. - Alexandru Baltag; Nick Bezhanishvili; Aybüke Özgün; Sonja Smets (LORI, 2013)

Bounded Proofs and Step Frames. - Nick Bezhanishvili; Silvio Ghilardi (TABLEAUX, 2013)

Canonical formulas via locally finite reducts and generalized dualities. - Nick Bezhanishvili (TACL, 2013)

Duality and Universal Models for the Meet-Implication Fragment of IPC. - Nick Bezhanishvili; Dion Coumans; Samuel J. van Gool; Dick de Jongh (TbiLLC, 2013)

Structures for Epistemic Logic. - Nick Bezhanishvili; Wiebe van der Hoek (Johan van Benthem on Logic and Information Dynamics, 2014)

Multiple-conclusion Rules, Hypersequents Syntax and Step Frames. - Nick Bezhanishvili; Silvio Ghilardi (Advances in Modal Logic, 2014)

The bounded proof property via step algebras and step frames. - Nick Bezhanishvili; Silvio Ghilardi (Ann. Pure Appl. Log., 2014)

The Topology of Full and Weak Belief. - Alexandru Baltag; Nick Bezhanishvili; Aybüke Özgün; Sonja Smets (TbiLLC, 2015)

Universal Models for the Positive Fragment of Intuitionistic Logic. - Nick Bezhanishvili; Dick de Jongh; Apostolos Tzimoulis; Zhiguang Zhao (TbiLLC, 2015)

Modal Operators on Compact Regular Frames and de Vries Algebras. - Guram Bezhanishvili; Nick Bezhanishvili; John Harding (Appl. Categorical Struct., 2015)

Modal compact Hausdorff spaces. - Guram Bezhanishvili; Nick Bezhanishvili; John Harding (J. Log. Comput., 2015)

Justified Belief and the Topology of Evidence. - Alexandru Baltag; Nick Bezhanishvili; Aybüke Özgün; Sonja Smets (WoLLIC, 2016)

Games for Topological Fixpoint Logic. - Nick Bezhanishvili; Clemens Kupke (GandALF, 2016)

Stable Canonical Rules. - Guram Bezhanishvili; Nick Bezhanishvili; Rosalie Iemhoff (J. Symb. Log., 2016)

Cofinal Stable Logics. - Guram Bezhanishvili; Nick Bezhanishvili; Julia Ilin (Stud Logica, 2016)

Admissible Bases Via Stable Canonical Rules. - Nick Bezhanishvili; David Gabelaia; Silvio Ghilardi; Mamuka Jibladze (Stud Logica, 2016)

Quotient Dynamics: The Logic of Abstraction. - Alexandru Baltag; Nick Bezhanishvili; Julia Ilin; Aybüke Özgün (LORI, 2017)

A Propositional Dynamic Logic for Instantial Neighborhood Models. - Johan van Benthem; Nick Bezhanishvili; Sebastian Enqvist (LORI, 2017)

A Study of Subminimal Logics of Negation and Their Modal Companions. - Nick Bezhanishvili; Almudena Colacito; Dick de Jongh (TbiLLC, 2017)

Irreducible Equivalence Relations, Gleason Spaces, and de Vries Duality. - Guram Bezhanishvili; Nick Bezhanishvili; Sumit Sourabh; Yde Venema (Appl. Categorical Struct., 2017)

A New Game Equivalence and its Modal Logic. - Johan van Benthem; Nick Bezhanishvili; Sebastian Enqvist (TARK, 2017)

Krull Dimension in Modal Logic. - Guram Bezhanishvili; Nick Bezhanishvili; Joel Lucero-Bryan; Jan van Mill (J. Symb. Log., 2017)

A bimodal perspective on possibility semantics. - Johan van Benthem; Nick Bezhanishvili; Wesley H. Holliday (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)

Sahlqvist preservation for topological fixed-point logic. - Nick Bezhanishvili; Sumit Sourabh (J. Log. Comput., 2017)

Locally Finite Reducts of Heyting Algebras and Canonical Formulas. - Guram Bezhanishvili; Nick Bezhanishvili (Notre Dame J. Formal Log., 2017)

Instantial Neighbourhood Logic. - Johan van Benthem; Nick Bezhanishvili; Sebastian Enqvist; Junhua Yu (Rev. Symb. Log., 2017)

Tarski's theorem on intuitionistic logic, for polyhedra. - Nick Bezhanishvili; Vincenzo Marra; Daniel McNeill; Andrea Pedrini (Ann. Pure Appl. Log., 2018)

Stable Formulas in Intuitionistic Logic. - Nick Bezhanishvili; Dick de Jongh (Notre Dame J. Formal Log., 2018)

Stable Modal Logics. - Guram Bezhanishvili; Nick Bezhanishvili; Julia Ilin (Rev. Symb. Log., 2018)

Tychonoff HED-Spaces and Zemanian Extensions of S4.3. - Guram Bezhanishvili; Nick Bezhanishvili; Joel Lucero-Bryan; Jan van Mill (Rev. Symb. Log., 2018)

A New Proof of the McKinsey-Tarski Theorem. - Guram Bezhanishvili; Nick Bezhanishvili; Joel Lucero-Bryan; Jan van Mill (Stud Logica, 2018)

Coalgebraic Geometric Logic. - Nick Bezhanishvili; Jim de Groot; Yde Venema (CALCO, 2019)

Topological Evidence Logics: Multi-agent Setting. - Alexandru Baltag; Nick Bezhanishvili; Saúl Fernández González (TbiLLC, 2019)

The McKinsey-Tarski Theorem for Topological Evidence Logics. - Alexandru Baltag; Nick Bezhanishvili; Saúl Fernández González (WoLLIC, 2019)

Algebraic and Topological Semantics for Inquisitive Logic via Choice-Free Duality. - Nick Bezhanishvili; Gianluca Grilletti; Wesley H. Holliday (WoLLIC, 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)

A strict implication calculus for compact Hausdorff spaces. - Guram Bezhanishvili; Nick Bezhanishvili; Thomas Santoli; Yde Venema (Ann. Pure Appl. Log., 2019)

A Topological Approach to Full Belief. - Alexandru Baltag; Nick Bezhanishvili; Aybüke Özgün; Sonja Smets (J. Philos. Log., 2019)

A New Game Equivalence, its Logic and Algebra. - Johan van Benthem; Nick Bezhanishvili; Sebastian Enqvist (J. Philos. Log., 2019)

Subframization and stabilization for superintuitionistic logics. - Guram Bezhanishvili; Nick Bezhanishvili; Julia Ilin (J. Log. Comput., 2019)

A Propositional Dynamic Logic for Instantial Neighborhood Semantics. - Johan van Benthem; Nick Bezhanishvili; Sebastian Enqvist (Stud Logica, 2019)

Filtrations, canonical formulas, and axiomatizations of superintuitionistic and modal logics. - Nick Bezhanishvili (AiML, 2020)

Model Completeness and Π2-rules: The Case of Contact Algebras. - Nick Bezhanishvili; Silvio Ghilardi; Lucia Landi (AiML, 2020)

Duality for Instantial Neighbourhood Logic via Coalgebra. - Nick Bezhanishvili; Sebastian Enqvist; Jim de Groot (CMCS, 2020)

Minimisation in Logical Form. - Nick Bezhanishvili; Marcello M. Bonsangue; Helle Hvid Hansen; Dexter Kozen; Clemens Kupke; Prakash Panangaden; Alexandra Silva 001 (CoRR, 2020)

Choice-Free Stone duality. - Nick Bezhanishvili; Wesley H. Holliday (J. Symb. Log., 2020)

A model-theoretic approach to descriptive general frames: the van Benthem characterization theorem. - Nick Bezhanishvili; Tim Henke (J. Log. Comput., 2020)

Tree-like constructions in topology and modal logic. - Guram Bezhanishvili; Nick Bezhanishvili; Joel Lucero-Bryan; Jan van Mill (Arch. Math. 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)

Characterizing existence of a Measurable cardinal via Modal Logic. - Guram Bezhanishvili; Nick Bezhanishvili; Joel Lucero-Bryan; Jan van Mill (J. Symb. Log., 2021)

The Topology of Surprise. - Alexandru Baltag; Nick Bezhanishvili; David Fernández-Duque (KR, 2022)

A Coalgebraic Approach to Dualities for Neighborhood Frames. - Guram Bezhanishvili; Nick Bezhanishvili; Jim de Groot (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)

Coalgebraic Geometric Logic: Basic Theory. - Nick Bezhanishvili; Jim de Groot; Yde Venema (Log. Methods Comput. Sci., 2022)

An Algebraic Approach to Inquisitive and DNA-LOGICS. - Nick Bezhanishvili; Gianluca Grilletti; Davide Emilio Quadrellaro (Rev. Symb. Log., 2022)

Admissibility of Π2-Inference Rules: interpolation, model completion, and contact algebras. - Nick Bezhanishvili; Luca Carai; Silvio Ghilardi; Lucia Landi (Ann. Pure Appl. Log., 2023)

Hereditarily Structurally Complete Intermediate Logics: Citkin's Theorem Via Duality. - Nick Bezhanishvili; Tommaso Moraschini (Stud Logica, 2023)

The Topological Mu-Calculus: Completeness and Decidability. - Alexandru Baltag; Nick Bezhanishvili; David Fernández-Duque (J. ACM, 2023)

Coalgebraic Semantics for Intuitionistic Modal Logic. - Rodrigo Nicolau Almeida; Nick Bezhanishvili (AiML, 2024)

Logics of Polyhedral Reachability. - Nick Bezhanishvili; Laura Bussi; Vincenzo Ciancia; David Fernández-Duque; David Gabelaia (AiML, 2024)

The Goldblatt-Thomason Theorem for Derivative Spaces. - Nick Bezhanishvili; David Fernández-Duque; Reihane Zoghifard (AiML, 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 (FORTE, 2024)

Positive modal logic beyond distributivity. - Nick Bezhanishvili; Anna Dmitrieva; Jim de Groot; Tommaso Moraschini (Ann. Pure Appl. Log., 2024)

Bi-intermediate logics of trees and co-trees. - Nick Bezhanishvili; Miguel Martins; Tommaso Moraschini (Ann. Pure Appl. 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)

Weak Simplicial Bisimilarity and Minimisation for Polyhedral Model Checking. - Nick Bezhanishvili; Laura Bussi; Vincenzo Ciancia; David Gabelaia; Mamuka Jibladze; Diego Latella; Mieke Massink; Erik P. de Vink (CoRR, 2024)

Polyhedral Completeness of Intermediate Logics: the nerve criterion. - Sam Adam-Day; Nick Bezhanishvili; David Gabelaia; Vincenzo Marra (J. Symb. Log., 2024)

Modal structures in groups and vector spaces. - Johan van Benthem; Nick Bezhanishvili (J. Log. Comput., 2024)

A calculus for modal compact Hausdorff spaces. - Nick Bezhanishvili; Luca Carai; Silvio Ghilardi; Zhiguang Zhao (J. Log. Comput., 2025)