Zobrazeno 1 - 10
of 62
pro vyhledávání: '"Gabelaia, David"'
Autor:
Bezhanishvili, Nick, Bussi, Laura, Ciancia, Vincenzo, Fernández-Duque, David, Gabelaia, David
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 semantics for the basic modal language has already been well investigat
Externí odkaz:
http://arxiv.org/abs/2406.16056
Autor:
Bezhanishvili, Nick, Ciancia, Vincenzo, Gabelaia, David, Jibladze, Mamuka, Latella, Diego, Massink, Mieke, de Vink, Erik P.
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 simplicial bisimilarity. We additionally propose a corresponding weak notion o
Externí odkaz:
http://arxiv.org/abs/2404.06131
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 all polytopes -- i.e., compact convex polyhedra -- denoted PL. This logi
Externí odkaz:
http://arxiv.org/abs/2307.16600
We investigate a recently-devised polyhedral semantics for intermediate logics, in which formulas are interpreted in n-dimensional polyhedra. An intermediate logic is polyhedrally complete if it is complete with respect to some class of polyhedra. Th
Externí odkaz:
http://arxiv.org/abs/2112.07518
Autor:
Bezhanishvili, Nick, Ciancia, Vincenzo, Gabelaia, David, Grilletti, Gianluca, Latella, Diego, Massink, Mieke
Publikováno v:
Logical Methods in Computer Science, Volume 18, Issue 4 (November 22, 2022) lmcs:9060
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 Closure Spaces, SLCS, extends Modal Logic with reachability connectives that
Externí odkaz:
http://arxiv.org/abs/2105.06194
We show that there exist (continuum many) varieties of bi-Heyting algebras that are not generated by their complete members. It follows that there exist (continuum many) extensions of the Heyting-Brouwer logic $\mathsf{HB}$ that are topologically inc
Externí odkaz:
http://arxiv.org/abs/2104.05961
Autor:
Bezhanishvili, Guram, Bezhanishvili, Nick, Carai, Luca, Gabelaia, David, Ghilardi, Silvio, Jibladze, Mamuka
We prove that the variety of nuclear implicative semilattices is locally finite, thus generalizing Diego's Theorem. The key ingredients of our proof include the coloring technique and construction of universal models from modal logic. For this we dev
Externí odkaz:
http://arxiv.org/abs/2001.11060
We study the modal logic of the closure algebra $P_2$, generated by the set of all polygons in the Euclidean plane $\mathbb{R}^2$. We show that this logic is finitely axiomatizable, is complete with respect to the class of frames we call "crown" fram
Externí odkaz:
http://arxiv.org/abs/1807.02868
It is a celebrated result of McKinsey and Tarski [28] that S4 is the logic of the closure algebra X+ over any dense-in-itself separable metrizable space. In particular, S4 is the logic of the closure algebra over the reals R, the rationals Q, or the
Externí odkaz:
http://arxiv.org/abs/1311.2178