Nick Bezhanishvili

103 papers A* 2B 11C 5Journal 70Unranked 12

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Blok-Esakia theorems via stable Canonical Rules. J. Symb. Log. Nick Bezhanishvili, Antonio Maria Cleani
2026	J	`jnl`	Modal Fragments. CoRR Nick Bezhanishvili, Balder ten Cate, Arunavo Ganguly, Arne Meier
2026	J	`jnl`	Weak Simplicial Bisimilarity and Minimisation for Polyhedral Model Checking. Log. Methods Comput. Sci. Nick Bezhanishvili, Laura Bussi, Vincenzo Ciancia, David Gabelaia, Mamuka Jibladze, Diego Latella, Mieke Massink, Erik P. de Vink
2025	J	`jnl`	A calculus for modal compact Hausdorff spaces. J. Log. Comput. Nick Bezhanishvili, Luca Carai, Silvio Ghilardi, Zhiguang Zhao
2025	J	`jnl`	Six Proofs of Interpolation for the Modal Logic K. CoRR Nick Bezhanishvili, Balder ten Cate, Rosalie Iemhoff
2025	J	`jnl`	The topology of surprise. Artif. Intell. Alexandru Baltag, Nick Bezhanishvili, David Fernández-Duque
2024	J	`jnl`	A Coalgebraic Semantics for Intuitionistic Modal Logic. CoRR Rodrigo Nicolau Almeida, Nick Bezhanishvili
2024	J	`jnl`	Bi-intermediate logics of trees and co-trees. Ann. Pure Appl. Log. Nick Bezhanishvili, Miguel Martins, Tommaso Moraschini
2024	B	`conf`	Coalgebraic Semantics for Intuitionistic Modal Logic. AiML Rodrigo Nicolau Almeida, Nick Bezhanishvili
2024	B	`conf`	Logics of Polyhedral Reachability. AiML Nick Bezhanishvili, Laura Bussi, Vincenzo Ciancia, David Fernández-Duque, David Gabelaia
2024	J	`jnl`	Logics of polyhedral reachability. CoRR Nick Bezhanishvili, Laura Bussi, Vincenzo Ciancia, David Fernández-Duque, David Gabelaia
2024	J	`jnl`	Modal structures in groups and vector spaces. J. Log. Comput. Johan van Benthem, Nick Bezhanishvili
2024	J	`jnl`	Polyhedral Completeness of Intermediate Logics: the nerve criterion. J. Symb. Log. Sam Adam-Day, Nick Bezhanishvili, David Gabelaia, Vincenzo Marra
2024	J	`jnl`	Positive modal logic beyond distributivity. Ann. Pure Appl. Log. Nick Bezhanishvili, Anna Dmitrieva, Jim de Groot, Tommaso Moraschini
2024	B	`conf`	The Goldblatt-Thomason Theorem for Derivative Spaces. AiML Nick Bezhanishvili, David Fernández-Duque, Reihane Zoghifard
2024	J	`jnl`	Weak Simplicial Bisimilarity and Minimisation for Polyhedral Model Checking. CoRR Nick Bezhanishvili, Laura Bussi, Vincenzo Ciancia, David Gabelaia, Mamuka Jibladze, Diego Latella, Mieke Massink, Erik P. de Vink
2024	C	`conf`	Weak Simplicial Bisimilarity for Polyhedral Models and SLCS FORTE Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Mamuka Jibladze, Diego Latella, Mieke Massink, Erik P. de Vink
2024	J	`jnl`	Weak Simplicial Bisimilarity for Polyhedral Models and SLCS_eta - Extended Version. CoRR Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Mamuka Jibladze, Diego Latella, Mieke Massink, Erik P. de Vink
2023	J	`jnl`	Admissibility of Π Ann. Pure Appl. Log. Nick Bezhanishvili, Luca Carai, Silvio Ghilardi, Lucia Landi
2023	J	`jnl`	Hereditarily Structurally Complete Intermediate Logics: Citkin's Theorem Via Duality. Stud Logica Nick Bezhanishvili, Tommaso Moraschini
2023	J	`jnl`	The Topological Mu-Calculus: Completeness and Decidability. J. ACM Alexandru Baltag, Nick Bezhanishvili, David Fernández-Duque
2022	J	`jnl`	A Coalgebraic Approach to Dualities for Neighborhood Frames. Log. Methods Comput. Sci. Guram Bezhanishvili, Nick Bezhanishvili, Jim de Groot
2022	J	`jnl`	An Algebraic Approach to Inquisitive and DNA-LOGICS. Rev. Symb. Log. Nick Bezhanishvili, Gianluca Grilletti, Davide Emilio Quadrellaro
2022	J	`jnl`	Coalgebraic Geometric Logic: Basic Theory. Log. Methods Comput. Sci. Nick Bezhanishvili, Jim de Groot, Yde Venema
2022	J	`jnl`	Geometric Model Checking of Continuous Space. Log. Methods Comput. Sci. Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Gianluca Grilletti, Diego Latella, Mieke Massink
2022	J	`jnl`	Positive (Modal) Logic Beyond Distributivity. CoRR Nick Bezhanishvili, Anna Dmitrieva, Jim de Groot, Tommaso Moraschini
2022	A*	`conf`	The Topology of Surprise. KR Alexandru Baltag, Nick Bezhanishvili, David Fernández-Duque
2021	J	`jnl`	A Coalgebraic Approach to Dualities for Neighborhood Frames. CoRR Guram Bezhanishvili, Nick Bezhanishvili, Jim de Groot
2021	J	`jnl`	Characterizing existence of a Measurable cardinal via Modal Logic. J. Symb. Log. Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill
2021	J	`jnl`	Geometric Model Checking of Continuous Space. CoRR Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Gianluca Grilletti, Diego Latella, Mieke Massink
2021	J	`jnl`	The McKinsey-Tarski Theorem for Locally Compact Ordered Spaces. Bull. Symb. Log. Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill
2021	A*	`conf`	The Topological Mu-Calculus: completeness and decidability. LICS Alexandru Baltag, Nick Bezhanishvili, David Fernández-Duque
2021	J	`jnl`	The Topological Mu-Calculus: completeness and decidability. CoRR Alexandru Baltag, Nick Bezhanishvili, David Fernández-Duque
2021	J	`jnl`	Tree-like constructions in topology and modal logic. Arch. Math. Log. Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill
2020	J	`jnl`	A model-theoretic approach to descriptive general frames: the van Benthem characterization theorem. J. Log. Comput. Nick Bezhanishvili, Tim Henke
2020	J	`jnl`	Choice-Free Stone duality. J. Symb. Log. Nick Bezhanishvili, Wesley H. Holliday
2020	—	`conf`	Duality for Instantial Neighbourhood Logic via Coalgebra. CMCS Nick Bezhanishvili, Sebastian Enqvist, Jim de Groot
2020	B	`conf`	Filtrations, canonical formulas, and axiomatizations of superintuitionistic and modal logics. AiML Nick Bezhanishvili
2020	J	`jnl`	Minimisation in Logical Form. CoRR Nick Bezhanishvili, Marcello M. Bonsangue, Helle Hvid Hansen, Dexter Kozen, Clemens Kupke, Prakash Panangaden, Alexandra Silva
2020	B	`conf`	Model Completeness and Π AiML Nick Bezhanishvili, Silvio Ghilardi, Lucia Landi
2019	J	`jnl`	A New Game Equivalence, its Logic and Algebra. J. Philos. Log. Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist
2019	J	`jnl`	A Propositional Dynamic Logic for Instantial Neighborhood Semantics. Stud Logica Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist
2019	J	`jnl`	A Topological Approach to Full Belief. J. Philos. Log. Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün, Sonja Smets
2019	J	`jnl`	A strict implication calculus for compact Hausdorff spaces. Ann. Pure Appl. Log. Guram Bezhanishvili, Nick Bezhanishvili, Thomas Santoli, Yde Venema
2019	C	`conf`	Algebraic and Topological Semantics for Inquisitive Logic via Choice-Free Duality. WoLLIC Nick Bezhanishvili, Gianluca Grilletti, Wesley H. Holliday
2019	B	`conf`	Coalgebraic Geometric Logic. CALCO Nick Bezhanishvili, Jim de Groot, Yde Venema
2019	J	`jnl`	On modal logics arising from scattered locally compact Hausdorff spaces. Ann. Pure Appl. Log. Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill
2019	J	`jnl`	Subframization and stabilization for superintuitionistic logics. J. Log. Comput. Guram Bezhanishvili, Nick Bezhanishvili, Julia Ilin
2019	C	`conf`	The McKinsey-Tarski Theorem for Topological Evidence Logics. WoLLIC Alexandru Baltag, Nick Bezhanishvili, Saúl Fernández González
2019	—	`conf`	Topological Evidence Logics: Multi-agent Setting. TbiLLC Alexandru Baltag, Nick Bezhanishvili, Saúl Fernández González
2018	J	`jnl`	A New Proof of the McKinsey-Tarski Theorem. Stud Logica Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill
2018	J	`jnl`	Stable Formulas in Intuitionistic Logic. Notre Dame J. Formal Log. Nick Bezhanishvili, Dick de Jongh
2018	J	`jnl`	Stable Modal Logics. Rev. Symb. Log. Guram Bezhanishvili, Nick Bezhanishvili, Julia Ilin
2018	J	`jnl`	Tarski's theorem on intuitionistic logic, for polyhedra. Ann. Pure Appl. Log. Nick Bezhanishvili, Vincenzo Marra, Daniel McNeill, Andrea Pedrini
2018	J	`jnl`	Tychonoff HED-Spaces and Zemanian Extensions of S4.3. Rev. Symb. Log. Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill
2017	B	`conf`	A New Game Equivalence and its Modal Logic. TARK Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist
2017	—	`conf`	A Propositional Dynamic Logic for Instantial Neighborhood Models. LORI Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist
2017	—	`conf`	A Study of Subminimal Logics of Negation and Their Modal Companions. TbiLLC Nick Bezhanishvili, Almudena Colacito, Dick de Jongh
2017	J	`jnl`	A bimodal perspective on possibility semantics. J. Log. Comput. Johan van Benthem, Nick Bezhanishvili, Wesley H. Holliday
2017	J	`jnl`	Instantial Neighbourhood Logic. Rev. Symb. Log. Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist, Junhua Yu
2017	J	`jnl`	Irreducible Equivalence Relations, Gleason Spaces, and de Vries Duality. Appl. Categorical Struct. Guram Bezhanishvili, Nick Bezhanishvili, Sumit Sourabh, Yde Venema
2017	J	`jnl`	Krull Dimension in Modal Logic. J. Symb. Log. Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill
2017	J	`jnl`	Locally Finite Reducts of Heyting Algebras and Canonical Formulas. Notre Dame J. Formal Log. Guram Bezhanishvili, Nick Bezhanishvili
2017	J	`jnl`	One-step Heyting Algebras and Hypersequent Calculi with the Bounded Proof Property. J. Log. Comput. Nick Bezhanishvili, Silvio Ghilardi, Frederik Möllerström Lauridsen
2017	—	`conf`	Quotient Dynamics: The Logic of Abstraction. LORI Alexandru Baltag, Nick Bezhanishvili, Julia Ilin, Aybüke Özgün
2017	J	`jnl`	Sahlqvist preservation for topological fixed-point logic. J. Log. Comput. Nick Bezhanishvili, Sumit Sourabh
2016	J	`jnl`	Admissible Bases Via Stable Canonical Rules. Stud Logica Nick Bezhanishvili, David Gabelaia, Silvio Ghilardi, Mamuka Jibladze
2016	J	`jnl`	Cofinal Stable Logics. Stud Logica Guram Bezhanishvili, Nick Bezhanishvili, Julia Ilin
2016	—	`conf`	Games for Topological Fixpoint Logic. GandALF Nick Bezhanishvili, Clemens Kupke
2016	C	`conf`	Justified Belief and the Topology of Evidence. WoLLIC Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün, Sonja Smets
2016	J	`jnl`	Stable Canonical Rules. J. Symb. Log. Guram Bezhanishvili, Nick Bezhanishvili, Rosalie Iemhoff
2015	J	`jnl`	Modal Operators on Compact Regular Frames and de Vries Algebras. Appl. Categorical Struct. Guram Bezhanishvili, Nick Bezhanishvili, John Harding
2015	J	`jnl`	Modal compact Hausdorff spaces. J. Log. Comput. Guram Bezhanishvili, Nick Bezhanishvili, John Harding
2015	—	`conf`	The Topology of Full and Weak Belief. TbiLLC Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün, Sonja Smets
2015	—	`conf`	Universal Models for the Positive Fragment of Intuitionistic Logic. TbiLLC Nick Bezhanishvili, Dick de Jongh, Apostolos Tzimoulis, Zhiguang Zhao
2014	B	`conf`	Multiple-conclusion Rules, Hypersequents Syntax and Step Frames. Advances in Modal Logic Nick Bezhanishvili, Silvio Ghilardi
2014	—	`ch.`	Structures for Epistemic Logic. Johan van Benthem on Logic and Information Dynamics Nick Bezhanishvili, Wiebe van der Hoek
2014	J	`jnl`	The bounded proof property via step algebras and step frames. Ann. Pure Appl. Log. Nick Bezhanishvili, Silvio Ghilardi
2013	B	`conf`	Bounded Proofs and Step Frames. TABLEAUX Nick Bezhanishvili, Silvio Ghilardi
2013	—	`conf`	Canonical formulas via locally finite reducts and generalized dualities. TACL Nick Bezhanishvili
2013	—	`conf`	Duality and Universal Models for the Meet-Implication Fragment of IPC. TbiLLC Nick Bezhanishvili, Dion Coumans, Samuel J. van Gool, Dick de Jongh
2013	—	`conf`	The Topology of Belief, Belief Revision and Defeasible Knowledge. LORI Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün, Sonja Smets
2012	J	`jnl`	Canonical Formulas for Wk4. Rev. Symb. Log. Guram Bezhanishvili, Nick Bezhanishvili
2012	J	`jnl`	Extendible Formulas in Two Variables in Intuitionistic Logic. Stud Logica Nick Bezhanishvili, Dick de Jongh
2012	—	`ed.`	Lectures on Logic and Computation - ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes ESSLLI Nick Bezhanishvili, Valentin Goranko
2012	C	`conf`	Minimization via Duality. WoLLIC Nick Bezhanishvili, Clemens Kupke, Prakash Panangaden
2012	J	`jnl`	Sahlqvist Correspondence for Modal mu-calculus. Stud Logica Johan van Benthem, Nick Bezhanishvili, Ian M. Hodkinson
2012	J	`jnl`	Sahlqvist theorem for modal fixed point logic. Theor. Comput. Sci. Nick Bezhanishvili, Ian M. Hodkinson
2011	J	`jnl`	An Algebraic Approach to Canonical Formulas: Modal Case. Stud Logica Guram Bezhanishvili, Nick Bezhanishvili
2011	J	`jnl`	Finitely generated free Heyting algebras via Birkhoff duality and coalgebra Log. Methods Comput. Sci. Nick Bezhanishvili, Mai Gehrke
2011	—	`ed.`	Logic, Language, and Computation - 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected Papers TbiLLC Nick Bezhanishvili, Sebastian Löbner, Kerstin Schwabe, Luca Spada
2010	J	`jnl`	Bitopological duality for distributive lattices and Heyting algebras. Math. Struct. Comput. Sci. Guram Bezhanishvili, Nick Bezhanishvili, David Gabelaia, Alexander Kurz
2010	J	`jnl`	Vietoris Bisimulations. J. Log. Comput. Nick Bezhanishvili, Gaëlle Fontaine, Yde Venema
2009	J	`jnl`	An Algebraic Approach to Canonical Formulas: intuitionistic Case. Rev. Symb. Log. Guram Bezhanishvili, Nick Bezhanishvili
2009	B	`conf`	Free Heyting Algebras: Revisited. CALCO Nick Bezhanishvili, Mai Gehrke
2008	J	`jnl`	Frame Based Formulas for Intermediate Logics. Stud Logica Nick Bezhanishvili
2008	J	`jnl`	Profinite Heyting Algebras. Order Guram Bezhanishvili, Nick Bezhanishvili
2007	B	`conf`	Free Modal Algebras: A Coalgebraic Perspective. CALCO Nick Bezhanishvili, Alexander Kurz
2006	J	`jnl`	Transfer Results for Hybrid Logic. Part I: The Case Without Satisfaction Operators. J. Log. Comput. Nick Bezhanishvili, Balder ten Cate
2004	J	`jnl`	All Normal Extensions of S5-squared Are Finitely Axiomatizable. Stud Logica Nick Bezhanishvili, Ian M. Hodkinson
2003	J	`jnl`	All Proper Normal Extensions of S5-square have the Polynomial Size Model Property. Stud Logica Nick Bezhanishvili, Maarten Marx
2002	J	`jnl`	Pseudomonadic Algebras as Algebraic Models of Doxastic Modal Logic. Math. Log. Q. Nick Bezhanishvili
1999	—	`conf`	Distributive Lattices with Quantifiers: Topological Representation. ESSLLI Student Papers Nick Bezhanishvili