# Coalgebraic Fuzzy geometric logic

arXiv: https://arxiv.org/abs/2205.13387 · HTML: https://mlsanity.com/paper/2205.13387/

## Key facts

- No citing papers in the map yet (data through 14 Oct 2026).
- Builds on 1 of its 48 references that are in the map.
- First posted on arXiv 2 May 2022.

## Builds on (most cited first, 1 of 1)

- [Simulations and Bisimulations For Coalgebraic Modal Logics](https://mlsanity.com/paper/1303.2467/) (2013)

## Abstract (arXiv)

The paper aims to develop a framework for coalgebraic fuzzy geometric logic by adding modalities to the language of fuzzy geometric logic. Using the methods of coalgebra, the modal operators are introduced in the language of fuzzy geometric logic. To define the modal operators, we introduce a notion of fuzzy-open predicate lifting. Based on coalgebras for an endofunctor T on the category Fuzzy-Top of fuzzy topological spaces and fuzzy continuous maps, we build models for the coalgebraic fuzzy geometric logic. Bisimulations for the defined models are discussed in this work.