Nick Bezhanishvili
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
17
Venues
7
Active years
2007–2024
Best venue rank
A*
Where they publish
Papers
17 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | AiML | Coalgebraic Semantics for Intuitionistic Modal Logic. | Rodrigo Nicolau Almeida, Nick Bezhanishvili |
| 2024 | AiML | Logics of Polyhedral Reachability. | Nick Bezhanishvili, Laura Bussi, Vincenzo Ciancia, David Fernndez-Duque, David Gabelaia |
| 2024 | AiML | The Goldblatt-Thomason Theorem for Derivative Spaces. | Nick Bezhanishvili, David Fernndez-Duque, Reihane Zoghifard |
| 2024 | FORTE | Weak Simplicial Bisimilarity for Polyhedral Models and SLCS | Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Mamuka Jibladze, Diego Latella, Mieke Massink, Erik P. de Vink |
| 2022 | KR | The Topology of Surprise. | Alexandru Baltag, Nick Bezhanishvili, David Fernndez-Duque |
| 2021 | LICS | The Topological Mu-Calculus: completeness and decidability. | Alexandru Baltag, Nick Bezhanishvili, David Fernndez-Duque |
| 2020 | AiML | Filtrations, canonical formulas, and axiomatizations of superintuitionistic and modal logics. | Nick Bezhanishvili |
| 2020 | AiML | Model Completeness and Π | Nick Bezhanishvili, Silvio Ghilardi, Lucia Landi |
| 2019 | CALCO | Coalgebraic Geometric Logic. | Nick Bezhanishvili, Jim de Groot, Yde Venema |
| 2019 | WoLLIC | The McKinsey-Tarski Theorem for Topological Evidence Logics. | Alexandru Baltag, Nick Bezhanishvili, Sal Fernndez Gonzlez |
| 2019 | WoLLIC | Algebraic and Topological Semantics for Inquisitive Logic via Choice-Free Duality. | Nick Bezhanishvili, Gianluca Grilletti, Wesley H. Holliday |
| 2016 | WoLLIC | Justified Belief and the Topology of Evidence. | Alexandru Baltag, Nick Bezhanishvili, Aybke zgn, Sonja Smets |
| 2014 | AiML | Multiple-conclusion Rules, Hypersequents Syntax and Step Frames. | Nick Bezhanishvili, Silvio Ghilardi |
| 2013 | TABLEAUX | Bounded Proofs and Step Frames. | Nick Bezhanishvili, Silvio Ghilardi |
| 2012 | WoLLIC | Minimization via Duality. | Nick Bezhanishvili, Clemens Kupke, Prakash Panangaden |
| 2009 | CALCO | Free Heyting Algebras: Revisited. | Nick Bezhanishvili, Mai Gehrke |
| 2007 | CALCO | Free Modal Algebras: A Coalgebraic Perspective. | Nick Bezhanishvili, Alexander Kurz |