Geodesic
Simulations and bisimulations for fuzzy multimodal logics over Heyting algebras
Filomat, Tome 37 (2023) no. 3, p. 711

Voir la notice de l'article provenant de la source eLibrary of Mathematical Institute of the Serbian Academy of Sciences and Arts

DOI

In the present paper, we study fuzzy multimodal logics over complete Heyting algebras and Kripke models for these logics. We introduce two types of simulations (forward and backward) and five types of bisimulations (forward, backward, forward-backward, backward-forward and regular) between Kripke models, as well as the corresponding presimulations and prebisimulations, which are simulations and bisimulations with relaxed conditions. For each type of simulations and bisimulations an efficient algorithm has been provided that works as follows: it computes the greatest presimulation/prebisimulation of that type, and then checks whether it meets the additional condition: if it does, then it is also the greatest simulation/bisimulation of that type, otherwise, there is not any simulation/bisimulation of that type. The algorithms are inspired by algorithms for checking the existence and computing the greatest simulations and bisimulations between fuzzy automata. We also demonstrate the application of these algorithms in the state reduction of Kripke models. We show that forward bisimulation fuzzy equivalences on the Kripke model provide reduced models equivalent to the original model concerning plus-formulas, backward bisimulation fuzzy equivalences provide reduced models equivalent concerning minus-formulas, while regular bisimulation fuzzy equivalences provide reduced models equivalent concerning all modal formulas.
DOI : 10.2298/FIL2303711S
Classification : 03B45, 03B50, 03B52, 03E72, 68Q85
Keywords: Fuzzy simulation, Fuzzy bisimulation, Many-Valued Multimodal Logic, Heyting algebras, Afterset Kripke model 
Marko Stanković; Miroslav Ćirić; Jelena Ignjatović. Simulations and bisimulations for fuzzy multimodal logics over Heyting algebras. Filomat, Tome 37 (2023) no. 3, p. 711 . doi: 10.2298/FIL2303711S
@article{10_2298_FIL2303711S,
     author = {Marko Stankovi\'c and Miroslav \'Ciri\'c and Jelena Ignjatovi\'c},
     title = {Simulations and bisimulations for fuzzy multimodal logics over {Heyting} algebras},
     journal = {Filomat},
     pages = {711 },
     year = {2023},
     volume = {37},
     number = {3},
     doi = {10.2298/FIL2303711S},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.2298/FIL2303711S/}
}
TY  - JOUR
AU  - Marko Stanković
AU  - Miroslav Ćirić
AU  - Jelena Ignjatović
TI  - Simulations and bisimulations for fuzzy multimodal logics over Heyting algebras
JO  - Filomat
PY  - 2023
SP  - 711 
VL  - 37
IS  - 3
UR  - http://geodesic.mathdoc.fr/articles/10.2298/FIL2303711S/
DO  - 10.2298/FIL2303711S
LA  - en
ID  - 10_2298_FIL2303711S
ER  - 
%0 Journal Article
%A Marko Stanković
%A Miroslav Ćirić
%A Jelena Ignjatović
%T Simulations and bisimulations for fuzzy multimodal logics over Heyting algebras
%J Filomat
%D 2023
%P 711 
%V 37
%N 3
%U http://geodesic.mathdoc.fr/articles/10.2298/FIL2303711S/
%R 10.2298/FIL2303711S
%G en
%F 10_2298_FIL2303711S

Cité par Sources :