Naslov (eng)

Bisimulations for Kripke models of Fuzzy Multimodal Logics: doctoral dissertation

Autor

Stanković, Marko, 1988-

Doprinosi

Ćirić, Miroslav, 1964-
Tepavčević, Andreja, 1964-
Ognjanović, Zoran, 1964-
Ignjatović, Jelena, 1973-
Damljanović, Nada, 1975-

Opis (srp)

Bibliografija: str. 217-225, Datum odbrane: 06.02.2023. Fuzzy logic and fuzzy sets

Opis (eng)

The main objective of the dissertation is to provide a detailed study of several different types of simulations and bisimulations for Kripke models of fuzzy multimodal logics.Two types of simulations (forward and backward) and five types of bisimulations (forward, backward, forward-backward, backward-forward and regular) are presented hereby. For each type of simulation and bisimulation, analgorithm is created to test the existence of the simulationor bisimulation and, if it exists, the algorithm computes the greatest one. The dissertation presents the application of bisimulations in the state reduction of fuzzy Kripke models, while preserving their semantic properties. Next, weak simulations and bisimulations were considered and the Hennessy-Milner property was examined. Finally, an algorithm was created to compute weak simulations and bisimulations for fuzzy Kripke models over locally finite algebras.

Jezik

engleski

Datum

2022

Licenca

Ovo delo je licencirano pod uslovima licence
Creative Commons CC BY-NC-ND 3.0 AT - Creative Commons Autorstvo - Nekomercijalno - Bez prerada 3.0 Austria License.

http://creativecommons.org/licenses/by-nc-nd/3.0/at/legalcode