A fuzzy modal logic for fuzzy transition systems

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 bisimul...

Full description

Bibliographic Details
Main Author: Jain, Manisha (author)
Other Authors: Madeira, Alexandre (author), Martins, Manuel A. (author)
Format: article
Language:eng
Published: 2020
Subjects:
Bisimulation
Simulation
Fuzzy transition systems
Modal logic
Gödel algebra
Online Access:http://hdl.handle.net/10773/28084
Country:Portugal
Oai:oai:ria.ua.pt:10773/28084

Internet

http://hdl.handle.net/10773/28084

Similar Items