Title
Bisimulations for Kripke models of Fuzzy Multimodal Logics
Creator
Stanković, Marko S. 1988-
CONOR:
26468967
Copyright date
2022
Object Links
Select license
Autorstvo-Nekomercijalno-Bez prerade 3.0 Srbija (CC BY-NC-ND 3.0)
License description
Dozvoljavate samo preuzimanje i distribuciju dela, ako/dok se pravilno naznačava ime autora, bez ikakvih promena dela i bez prava komercijalnog korišćenja dela. Ova licenca je najstroža CC licenca. Osnovni opis Licence: http://creativecommons.org/licenses/by-nc-nd/3.0/rs/deed.sr_LATN. Sadržaj ugovora u celini: http://creativecommons.org/licenses/by-nc-nd/3.0/rs/legalcode.sr-Latn
Language
English
Cobiss-ID
Theses Type
Doktorska disertacija
description
Datum odbrane: 06.02.2023.
Other responsibilities
Academic Expertise
Prirodno-matematičke nauke
Academic Title
-
University
Univerzitet u Nišu
Faculty
Prirodno-matematički fakultet
Group
Odsek za matematiku i informatiku
Alternative title
Bisimulacije za Kripkeove modele fazi multimodalnih logika
Publisher
[M. S. Stanković]
Format
226 str.
description
Bibliografija: str. 217-225.
description
Fuzzy logic and fuzzy sets
Abstract (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, an algorithm is created to test the existence of the simulation
or 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.
Authors Key words
Simulations, Bisimulations, Kripke models, Fuzzy logic,
Modal logic
Authors Key words
simulacije, bisimulacije, Kripkeovi modeli, fazi logika, modalna logika
Classification
510.643/.644:519.76(043.3)
Subject
03B45, 03B50, 03B52, 03E72
Type
Tekst
Abstract (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, an algorithm is created to test the existence of the simulation
or 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.
“Data exchange” service offers individual users metadata transfer in several different formats. Citation formats are offered for transfers in texts as for the transfer into internet pages. Citation formats include permanent links that guarantee access to cited sources. For use are commonly structured metadata schemes : Dublin Core xml and ETUB-MS xml, local adaptation of international ETD-MS scheme intended for use in academic documents.
