o:1884 Bisimulations for Kripke models of Fuzzy Multimodal Logics: doctoral dissertation Bisimulacije za Kripkeove modele fazi multimodalnih logika : doctoral dissertation en 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. Bibliografija: str. 217-225, Datum odbrane: 06.02.2023. Fuzzy logic and fuzzy sets 91552100 111954697 91552101 8597 2023-07-24T13:57:07.053Z 45 no 46 Marko, 1988- Stanković 26468967 2022 63 mentor Miroslav, 1964- Ćirić 13733223 2022 63 član komisije Andreja, 1964- Tepavčević 13359463 2022 63 član komisije Zoran, 1964- Ognjanović 7247463 2022 63 član komisije Jelena, 1973- Ignjatović 13760871 2022 63 član komisije Nada, 1975- Damljanović 13541479 2022 226 str. 5409935 http://phaidrani.ni.ac.rs/o:1884 no yes 12 2023-07-24T13:57:07.320Z 70 Simulations, Bisimulations, Kripke models, Fuzzy logic,Modal logic simulacije, bisimulacije, Kripkeovi modeli, fazilogika, modalna logika 510.643/.644:519.76(043.3) 03B45 , 03B50 , 03B52, 03E72 1738 18A07 18A0701 1552150 10880 1552148 2022