Search


Volume

Author

Year

  • < Previous
  • 1
  • Next >
3 results

A Coalgebraic Approach to Dualities for Neighborhood Frames

Guram Bezhanishvili ; Nick Bezhanishvili ; Jim de Groot.
We develop a uniform coalgebraic approach to J\'onsson-Tarski and Thomason type dualities for various classes of neighborhood frames and neighborhood algebras. In the first part of the paper we construct an endofunctor on the category of complete and atomic Boolean algebras that is dual to the&nbsp;[&hellip;]
Published on July 28, 2022

Coalgebraic Geometric Logic: Basic Theory

Nick Bezhanishvili ; Jim de Groot ; Yde Venema.
Using the theory of coalgebra, we introduce a uniform framework for adding modalities to the language of propositional geometric logic. Models for this logic are based on coalgebras for an endofunctor on some full subcategory of the category of topological spaces and continuous functions. We&nbsp;[&hellip;]
Published on December 8, 2022

Geometric Model Checking of Continuous Space

Nick Bezhanishvili ; Vincenzo Ciancia ; David Gabelaia ; Gianluca Grilletti ; Diego Latella ; Mieke Massink.
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, in turn, can be used for expressing interesting&nbsp;[&hellip;]
Published on November 23, 2022

  • < Previous
  • 1
  • Next >