Artykuł w czasopiśmie
Brak miniatury
Licencja
ClosedAccessDostęp zamknięty
 

Characterizing fuzzy simulations for fuzzy labeled transition systems in fuzzy propositional dynamic logic

Uproszczony widok
cris.lastimport.scopus2024-02-12T19:41:03Z
dc.abstract.enWe formulate and prove logical characterizations of fuzzy simulations for fuzzy labeled transition systems under the Gödel semantics. Apart from the usual setting, we consider also the setting that allows graded modal operators, which are used to talk about the number of successors with a certain property of the current state. Our characterizations are formulated w.r.t. the existential fragment of fuzzy propositional dynamic logic and its extension with graded modal operators. The results concern fuzzy preservation of existential modal formulas under fuzzy simulations as well as the Hennessy-Milner property of fuzzy simulations.
dc.affiliationUniwersytet Warszawski
dc.contributor.authorNguyen, Anh Linh
dc.date.accessioned2024-01-24T19:07:48Z
dc.date.available2024-01-24T19:07:48Z
dc.date.issued2021
dc.description.financePublikacja bezkosztowa
dc.description.volume135
dc.identifier.doi10.1016/J.IJAR.2021.04.006
dc.identifier.issn0888-613X
dc.identifier.urihttps://repozytorium.uw.edu.pl//handle/item/102915
dc.identifier.weblinkhttps://api.elsevier.com/content/article/PII:S0888613X21000566?httpAccept=text/xml
dc.languageeng
dc.pbn.affiliationcomputer and information sciences
dc.relation.ispartofInternational Journal of Approximate Reasoning
dc.relation.pages21-37
dc.rightsClosedAccess
dc.sciencecloudnosend
dc.titleCharacterizing fuzzy simulations for fuzzy labeled transition systems in fuzzy propositional dynamic logic
dc.typeJournalArticle
dspace.entity.typePublication