55 citations · 134 across the 26 of their papers we have counts for
6 papers · 1 filter
Weak Simplicial Bisimilarity for Polyhedral Models and SLCS_eta -- Extended Version
Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia +4
In the context of spatial logics and spatial model checking for polyhedral models -- mathematical basis for visualisations in continuous space -- we propose a weakening of simplici…
A Coalgebraic Approach to Dualities for Neighborhood Frames
Guram Bezhanishvili, Nick Bezhanishvili, Jim de Groot
We develop a uniform coalgebraic approach to Jónsson-Tarski and Thomason type dualities for various classes of neighborhood frames and neighborhood algebras. In the first part of t…
The Topological Mu-Calculus: completeness and decidability
Alexandru Baltag, Nick Bezhanishvili, David Fernández-Duque
We study the topological -calculus, based on both Cantor derivative and closure modalities, proving completeness, decidability and FMP over general topological spaces, as well a…
Geometric Model Checking of Continuous Space
Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia +3
Topological Spatial Model Checking is a recent paradigm where model checking techniques are developed for the topological interpretation of Modal Logic. The Spatial Logic of Closur…
Games for Topological Fixpoint Logic
Nick Bezhanishvili, Clemens Kupke
Topological fixpoint logics are a family of logics that admits topological models and where the fixpoint operators are defined with respect to the topological interpretations. Here…
Finitely generated free Heyting algebras via Birkhoff duality and coalgebra
Nick Bezhanishvili, Mai Gehrke
Algebras axiomatized entirely by rank 1 axioms are algebras for a functor and thus the free algebras can be obtained by a direct limit process. Dually, the final coalgebras can be…