Coalgebraic fuzzy geometric logic

Article Type

Research Article

Publication Title

International Journal of Information Technology Singapore

Abstract

A generalized form of modal logic can be created within the context of coalgebraic logic. Coalgebraic geometric logic was recently developed by adding modalities to the language of propositional geometric logic using the coalgebra approach. However, as far as we are aware, no studies have been done specifically on fuzzy geometric modal logic. This study is the first step towards developing fuzzy geometric modal logic using coalgebra theory. This new logic might potentially be used to model and reason about transition systems that involve uncertainty in behaviour. We propose a theoretical framework based on coalgebra theory to add modalities into the language of fuzzy geometric logic. Coalgebras for an endofunctor on a category of fuzzy topological spaces and fuzzy continuous maps serve as the foundation for models of this logic. Our key finding is the existence of a final model in the category of models for endofunctors defined on sober fuzzy topological spaces. Furthermore, we present a comparative analysis of the notions of behavioural equivalency, bisimulation, and modal equivalency on the resulting class of models.

First Page

3825

Last Page

3836

DOI

10.1007/s41870-024-01905-y

Publication Date

8-1-2024

Comments

Open Access; Green Open Access

Link to Full Text

Share

COinS