A Fuzzy Modal Logic for Fuzzy Transition Systems

dc.contributor.author Jain,M en
dc.contributor.other 5620 en
dc.date.accessioned 2020-12-10T18:03:33Z
dc.date.available 2020-12-10T18:03:33Z
dc.date.issued 2020 en
dc.description.abstract This paper intends to contribute with a new fuzzy modal logic to model and reason about transition systems involving uncertainty in behaviours. Our formalism supports fuzziness at transitions and on the proposition symbols assignment levels. Against of other approaches in the literature, our bisimulation and bisimilarity notions generalise the analogous standard notions of classic modal logic and of process algebras. Moreover, the outcome of our logic is also fuzzy, with the semantic interpretation of connectives supported by the Godel algebra. en
dc.identifier.uri http://repositorio.inesctec.pt/handle/123456789/11823
dc.identifier.uri http://dx.doi.org/10.1016/j.entcs.2020.02.006 en
dc.language eng en
dc.title A Fuzzy Modal Logic for Fuzzy Transition Systems en
dc.type Publication en
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
P-00S-2SE.pdf
Size:
276.3 KB
Format:
Adobe Portable Document Format
Description: