Bisimulations for Fuzzy Geometric Models
Document Type
Conference Article
Publication Title
Communications in Computer and Information Science
Abstract
The purpose of this paper is to develop coalgebraic fuzzy geometric logic by incorporating modalities into the fuzzy geometric logic language. The modal operators are introduced in the fuzzy geometric logic language using coalgebraic techniques. We introduce the idea of fuzzy-open predicate lifting in order to define the modal operators. Based on coalgebras for an endofunctor T on the category Fuzzy-Top of fuzzy topological spaces, we build models for the coalgebraic fuzzy geometric logic. We study the relationship between the concepts of behavioural equivalence and modal equivalence on the class of fuzzy geometric models. Furthermore, the paper studies bisimulation for fuzzy geometric models.
First Page
152
Last Page
163
DOI
10.1007/978-3-031-37303-9_12
Publication Date
1-1-2023
Recommended Citation
Das, Litan Kumar; Ray, Kumar Sankar; and Mali, Prakash Chandra, "Bisimulations for Fuzzy Geometric Models" (2023). Conference Articles. 534.
https://digitalcommons.isical.ac.in/conf-articles/534