21 citations · 27 across the 3 of their papers we have counts for
7 papers
Logics of polyhedral reachability
Nick Bezhanishvili, Laura Bussi, Vincenzo Ciancia +2
Polyhedral semantics is a recently introduced branch of spatial modal logic, in which modal formulas are interpreted as piecewise linear subsets of an Euclidean space. Polyhedral s…
A Coalgebraic Semantics for Intuitionistic Modal Logic
Rodrigo Nicolau Almeida, Nick Bezhanishvili
We give a new coalgebraic semantics for intuitionistic modal logic with . In particular, we provide a colagebraic representation of intuitionistic descriptive modal frames an…
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…
On Shehtman's Two Problems
Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan +1
We provide partial solutions to two problems posed by Shehtman concerning the modal logic of the Čech-Stone compactification of an ordinal space. We use the Continuum Hypothesis to…
The Intermediate Logic of Convex Polyhedra
Sam Adam-Day, Nick Bezhanishvili, David Gabelaia +1
We investigate a recent semantics for intermediate (and modal) logics in terms of polyhedra. The main result is a finite axiomatisation of the intermediate logic of the class of al…
Choice-free Stone duality
Nick Bezhanishvili, Wesley H. Holliday
The standard topological representation of a Boolean algebra via the clopen sets of a Stone space requires a nonconstructive choice principle, equivalent to the Boolean Prime Ideal…