default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNick Bezhanishvili
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j55]Nick Bezhanishvili, Anna Dmitrieva
, Jim de Groot, Tommaso Moraschini:
Positive modal logic beyond distributivity. Ann. Pure Appl. Log. 175(2): 103374 (2024)- [j54]Nick Bezhanishvili, Miguel Martins, Tommaso Moraschini:
Bi-intermediate logics of trees and co-trees. Ann. Pure Appl. Log. 175(10): 103490 (2024) - [j53]Sam Adam-Day, Nick Bezhanishvili, David Gabelaia, Vincenzo Marra:
Polyhedral Completeness of Intermediate Logics: the nerve criterion. J. Symb. Log. 89(1): 342-382 (2024) - [j52]Johan van Benthem, Nick Bezhanishvili:
Modal structures in groups and vector spaces. J. Log. Comput. 34(1): 75-124 (2024) - [c30]Rodrigo Nicolau Almeida, Nick Bezhanishvili:
Coalgebraic Semantics for Intuitionistic Modal Logic. AiML 2024: 59-78 - [c29]Nick Bezhanishvili, Laura Bussi, Vincenzo Ciancia, David Fernández-Duque, David Gabelaia:
Logics of Polyhedral Reachability. AiML 2024: 187-204 - [c28]Nick Bezhanishvili, David Fernández-Duque, Reihane Zoghifard:
The Goldblatt-Thomason Theorem for Derivative Spaces. AiML 2024: 205-224 - [c27]Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Mamuka Jibladze, Diego Latella, Mieke Massink, Erik P. de Vink:
Weak Simplicial Bisimilarity for Polyhedral Models and SLCSη. FORTE 2024: 20-38 - [i8]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 abs/2404.06131 (2024) - [i7]Rodrigo Nicolau Almeida, Nick Bezhanishvili:
A Coalgebraic Semantics for Intuitionistic Modal Logic. CoRR abs/2406.10649 (2024) - [i6]Nick Bezhanishvili, Laura Bussi, Vincenzo Ciancia, David Fernández-Duque, David Gabelaia:
Logics of polyhedral reachability. CoRR abs/2406.16056 (2024) - 2023
- [j51]Nick Bezhanishvili, Luca Carai, Silvio Ghilardi, Lucia Landi:
Admissibility of Π2-Inference Rules: interpolation, model completion, and contact algebras. Ann. Pure Appl. Log. 174(1): 103169 (2023) - [j50]Alexandru Baltag, Nick Bezhanishvili, David Fernández-Duque:
The Topological Mu-Calculus: Completeness and Decidability. J. ACM 70(5): 33:1-33:38 (2023) - [j49]Nick Bezhanishvili, Tommaso Moraschini:
Hereditarily Structurally Complete Intermediate Logics: Citkin's Theorem Via Duality. Stud Logica 111(2): 147-186 (2023) - 2022
- [j48]Guram Bezhanishvili, Nick Bezhanishvili, Jim de Groot:
A Coalgebraic Approach to Dualities for Neighborhood Frames. Log. Methods Comput. Sci. 18(3) (2022) - [j47]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) - [j46]Nick Bezhanishvili, Jim de Groot, Yde Venema:
Coalgebraic Geometric Logic: Basic Theory. Log. Methods Comput. Sci. 18(4) (2022) - [j45]Nick Bezhanishvili, Gianluca Grilletti, Davide Emilio Quadrellaro:
An Algebraic Approach to Inquisitive and DNA-LOGICS. Rev. Symb. Log. 15(4): 950-990 (2022) - [c26]Alexandru Baltag, Nick Bezhanishvili, David Fernández-Duque:
The Topology of Surprise. KR 2022 - [i5]Nick Bezhanishvili, Anna Dmitrieva, Jim de Groot, Tommaso Moraschini:
Positive (Modal) Logic Beyond Distributivity. CoRR abs/2204.13401 (2022) - 2021
- [j44]Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill:
Tree-like constructions in topology and modal logic. Arch. Math. Log. 60(3-4): 265-299 (2021) - [j43]Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill:
The McKinsey-Tarski Theorem for Locally Compact Ordered Spaces. Bull. Symb. Log. 27(2): 187-211 (2021) - [j42]Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill:
Characterizing existence of a Measurable cardinal via Modal Logic. J. Symb. Log. 86(1): 162-177 (2021) - [c25]Alexandru Baltag, Nick Bezhanishvili, David Fernández-Duque:
The Topological Mu-Calculus: completeness and decidability. LICS 2021: 1-13 - [i4]Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Gianluca Grilletti, Diego Latella, Mieke Massink:
Geometric Model Checking of Continuous Space. CoRR abs/2105.06194 (2021) - [i3]Alexandru Baltag, Nick Bezhanishvili, David Fernández-Duque:
The Topological Mu-Calculus: completeness and decidability. CoRR abs/2105.08231 (2021) - [i2]Guram Bezhanishvili, Nick Bezhanishvili, Jim de Groot:
A Coalgebraic Approach to Dualities for Neighborhood Frames. CoRR abs/2106.01628 (2021) - 2020
- [j41]Nick Bezhanishvili, Wesley H. Holliday:
Choice-Free Stone duality. J. Symb. Log. 85(1): 109-148 (2020) - [j40]Nick Bezhanishvili, Tim Henke:
A model-theoretic approach to descriptive general frames: the van Benthem characterization theorem. J. Log. Comput. 30(7): 1331-1355 (2020) - [c24]Nick Bezhanishvili:
Filtrations, canonical formulas, and axiomatizations of superintuitionistic and modal logics. AiML 2020: 5 - [c23]Nick Bezhanishvili, Silvio Ghilardi, Lucia Landi:
Model Completeness and Π2-rules: The Case of Contact Algebras. AiML 2020: 115-132 - [c22]Nick Bezhanishvili, Sebastian Enqvist, Jim de Groot:
Duality for Instantial Neighbourhood Logic via Coalgebra. CMCS 2020: 32-54 - [i1]Nick Bezhanishvili, Marcello M. Bonsangue, Helle Hvid Hansen, Dexter Kozen, Clemens Kupke, Prakash Panangaden, Alexandra Silva:
Minimisation in Logical Form. CoRR abs/2005.11551 (2020)
2010 – 2019
- 2019
- [j39]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): 558-577 (2019) - [j38]Guram Bezhanishvili, Nick Bezhanishvili, Thomas Santoli, Yde Venema:
A strict implication calculus for compact Hausdorff spaces. Ann. Pure Appl. Log. 170(11) (2019) - [j37]Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün, Sonja Smets:
A Topological Approach to Full Belief. J. Philos. Log. 48(2): 205-244 (2019) - [j36]Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist:
A New Game Equivalence, its Logic and Algebra. J. Philos. Log. 48(4): 649-684 (2019) - [j35]Guram Bezhanishvili, Nick Bezhanishvili, Julia Ilin:
Subframization and stabilization for superintuitionistic logics. J. Log. Comput. 29(1): 1-35 (2019) - [j34]Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist:
A Propositional Dynamic Logic for Instantial Neighborhood Semantics. Stud Logica 107(4): 719-751 (2019) - [c21]Nick Bezhanishvili, Jim de Groot, Yde Venema:
Coalgebraic Geometric Logic. CALCO 2019: 7:1-7:18 - [c20]Alexandru Baltag, Nick Bezhanishvili, Saúl Fernández González:
Topological Evidence Logics: Multi-agent Setting. TbiLLC 2019: 237-257 - [c19]Nick Bezhanishvili, Gianluca Grilletti, Wesley H. Holliday:
Algebraic and Topological Semantics for Inquisitive Logic via Choice-Free Duality. WoLLIC 2019: 35-52 - [c18]Alexandru Baltag, Nick Bezhanishvili, Saúl Fernández González:
The McKinsey-Tarski Theorem for Topological Evidence Logics. WoLLIC 2019: 177-194 - 2018
- [j33]Nick Bezhanishvili, Vincenzo Marra, Daniel McNeill, Andrea Pedrini:
Tarski's theorem on intuitionistic logic, for polyhedra. Ann. Pure Appl. Log. 169(5): ii (2018) - [j32]Nick Bezhanishvili, Dick de Jongh:
Stable Formulas in Intuitionistic Logic. Notre Dame J. Formal Log. 59(3): 307-324 (2018) - [j31]Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill:
Tychonoff HED-Spaces and Zemanian Extensions of S4.3. Rev. Symb. Log. 11(1): 115-132 (2018) - [j30]Guram Bezhanishvili, Nick Bezhanishvili, Julia Ilin:
Stable Modal Logics. Rev. Symb. Log. 11(3): 436-469 (2018) - [j29]Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill:
A New Proof of the McKinsey-Tarski Theorem. Stud Logica 106(6): 1291-1311 (2018) - 2017
- [j28]Guram Bezhanishvili, Nick Bezhanishvili, Sumit Sourabh, Yde Venema:
Irreducible Equivalence Relations, Gleason Spaces, and de Vries Duality. Appl. Categorical Struct. 25(3): 381-401 (2017) - [j27]Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill:
Krull Dimension in Modal Logic. J. Symb. Log. 82(4): 1356-1386 (2017) - [j26]Nick Bezhanishvili, Sumit Sourabh:
Sahlqvist preservation for topological fixed-point logic. J. Log. Comput. 27(3): 679-703 (2017) - [j25]Johan van Benthem, Nick Bezhanishvili, Wesley H. Holliday:
A bimodal perspective on possibility semantics. J. Log. Comput. 27(5): 1353-1389 (2017) - [j24]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): 2135-2169 (2017) - [j23]Guram Bezhanishvili, Nick Bezhanishvili:
Locally Finite Reducts of Heyting Algebras and Canonical Formulas. Notre Dame J. Formal Log. 58(1): 21-45 (2017) - [j22]Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist, Junhua Yu:
Instantial Neighbourhood Logic. Rev. Symb. Log. 10(1): 116-144 (2017) - [c17]Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist:
A Propositional Dynamic Logic for Instantial Neighborhood Models. LORI 2017: 137-150 - [c16]Alexandru Baltag, Nick Bezhanishvili, Julia Ilin, Aybüke Özgün:
Quotient Dynamics: The Logic of Abstraction. LORI 2017: 181-194 - [c15]Nick Bezhanishvili, Almudena Colacito, Dick de Jongh:
A Study of Subminimal Logics of Negation and Their Modal Companions. TbiLLC 2017: 21-41 - [c14]Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist:
A New Game Equivalence and its Modal Logic. TARK 2017: 57-74 - 2016
- [j21]Guram Bezhanishvili, Nick Bezhanishvili, Rosalie Iemhoff:
Stable Canonical Rules. J. Symb. Log. 81(1): 284-315 (2016) - [j20]Nick Bezhanishvili, David Gabelaia, Silvio Ghilardi, Mamuka Jibladze:
Admissible Bases Via Stable Canonical Rules. Stud Logica 104(2): 317-341 (2016) - [j19]Guram Bezhanishvili, Nick Bezhanishvili, Julia Ilin:
Cofinal Stable Logics. Stud Logica 104(6): 1287-1317 (2016) - [c13]Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün, Sonja Smets:
Justified Belief and the Topology of Evidence. WoLLIC 2016: 83-103 - [c12]Nick Bezhanishvili, Clemens Kupke:
Games for Topological Fixpoint Logic. GandALF 2016: 46-60 - 2015
- [j18]Guram Bezhanishvili, Nick Bezhanishvili, John Harding:
Modal Operators on Compact Regular Frames and de Vries Algebras. Appl. Categorical Struct. 23(3): 365-379 (2015) - [j17]Guram Bezhanishvili, Nick Bezhanishvili, John Harding:
Modal compact Hausdorff spaces. J. Log. Comput. 25(1): 1-35 (2015) - [c11]Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün, Sonja Smets:
The Topology of Full and Weak Belief. TbiLLC 2015: 205-228 - [c10]Nick Bezhanishvili, Dick de Jongh, Apostolos Tzimoulis, Zhiguang Zhao:
Universal Models for the Positive Fragment of Intuitionistic Logic. TbiLLC 2015: 229-250 - 2014
- [j16]Nick Bezhanishvili, Silvio Ghilardi:
The bounded proof property via step algebras and step frames. Ann. Pure Appl. Log. 165(12): 1832-1863 (2014) - [c9]Nick Bezhanishvili, Silvio Ghilardi:
Multiple-conclusion Rules, Hypersequents Syntax and Step Frames. Advances in Modal Logic 2014: 54-73 - [p1]Nick Bezhanishvili, Wiebe van der Hoek:
Structures for Epistemic Logic. Johan van Benthem on Logic and Information Dynamics 2014: 339-380 - 2013
- [c8]Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün, Sonja Smets:
The Topology of Belief, Belief Revision and Defeasible Knowledge. LORI 2013: 27-40 - [c7]Nick Bezhanishvili, Silvio Ghilardi:
Bounded Proofs and Step Frames. TABLEAUX 2013: 44-58 - [c6]Nick Bezhanishvili:
Canonical formulas via locally finite reducts and generalized dualities. TACL 2013: 2-3 - [c5]Nick Bezhanishvili, Dion Coumans, Samuel J. van Gool, Dick de Jongh:
Duality and Universal Models for the Meet-Implication Fragment of IPC. TbiLLC 2013: 97-116 - 2012
- [j15]Guram Bezhanishvili, Nick Bezhanishvili:
Canonical Formulas for Wk4. Rev. Symb. Log. 5(4): 731-762 (2012) - [j14]Johan van Benthem, Nick Bezhanishvili, Ian M. Hodkinson:
Sahlqvist Correspondence for Modal mu-calculus. Stud Logica 100(1-2): 31-60 (2012) - [j13]Nick Bezhanishvili, Dick de Jongh:
Extendible Formulas in Two Variables in Intuitionistic Logic. Stud Logica 100(1-2): 61-89 (2012) - [j12]Nick Bezhanishvili, Ian M. Hodkinson:
Sahlqvist theorem for modal fixed point logic. Theor. Comput. Sci. 424: 1-19 (2012) - [c4]Nick Bezhanishvili, Clemens Kupke, Prakash Panangaden:
Minimization via Duality. WoLLIC 2012: 191-205 - [e2]Nick Bezhanishvili, Valentin Goranko:
Lectures on Logic and Computation - ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes. Lecture Notes in Computer Science 7388, Springer 2012, ISBN 978-3-642-31484-1 [contents] - 2011
- [j11]Nick Bezhanishvili, Mai Gehrke:
Finitely generated free Heyting algebras via Birkhoff duality and coalgebra. Log. Methods Comput. Sci. 7(2) (2011) - [j10]Guram Bezhanishvili, Nick Bezhanishvili:
An Algebraic Approach to Canonical Formulas: Modal Case. Stud Logica 99(1-3): 93-125 (2011) - [e1]Nick Bezhanishvili, Sebastian Löbner, Kerstin Schwabe, Luca Spada:
Logic, Language, and Computation - 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected Papers. Lecture Notes in Computer Science 6618, Springer 2011, ISBN 978-3-642-22302-0 [contents] - 2010
- [j9]Nick Bezhanishvili, Gaëlle Fontaine, Yde Venema:
Vietoris Bisimulations. J. Log. Comput. 20(5): 1017-1040 (2010) - [j8]Guram Bezhanishvili, Nick Bezhanishvili, David Gabelaia, Alexander Kurz:
Bitopological duality for distributive lattices and Heyting algebras. Math. Struct. Comput. Sci. 20(3): 359-393 (2010)
2000 – 2009
- 2009
- [j7]Guram Bezhanishvili, Nick Bezhanishvili:
An Algebraic Approach to Canonical Formulas: intuitionistic Case. Rev. Symb. Log. 2(3): 517-549 (2009) - [c3]Nick Bezhanishvili, Mai Gehrke:
Free Heyting Algebras: Revisited. CALCO 2009: 251-266 - 2008
- [j6]Guram Bezhanishvili, Nick Bezhanishvili:
Profinite Heyting Algebras. Order 25(3): 211-227 (2008) - [j5]Nick Bezhanishvili:
Frame Based Formulas for Intermediate Logics. Stud Logica 90(2): 139-159 (2008) - 2007
- [c2]Nick Bezhanishvili, Alexander Kurz:
Free Modal Algebras: A Coalgebraic Perspective. CALCO 2007: 143-157 - 2006
- [j4]Nick Bezhanishvili, Balder ten Cate:
Transfer Results for Hybrid Logic. Part I: The Case Without Satisfaction Operators. J. Log. Comput. 16(2): 177-197 (2006) - 2004
- [j3]Nick Bezhanishvili, Ian M. Hodkinson:
All Normal Extensions of S5-squared Are Finitely Axiomatizable. Stud Logica 78(3): 443-457 (2004) - 2003
- [j2]Nick Bezhanishvili, Maarten Marx:
All Proper Normal Extensions of S5-square have the Polynomial Size Model Property. Stud Logica 73(3): 367-382 (2003) - 2002
- [j1]Nick Bezhanishvili:
Pseudomonadic Algebras as Algebraic Models of Doxastic Modal Logic. Math. Log. Q. 48(4): 624-636 (2002)
1990 – 1999
- 1999
- [c1]Nick Bezhanishvili:
Distributive Lattices with Quantifiers: Topological Representation. ESSLLI Student Papers 1999: 91-102
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-10 21:48 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
