Abstract
We provide and prove logical characterizations of fuzzy simulations between fuzzy Kripke models that use a general t-norm-based semantics. We also extend the results for fuzzy Kripke models defined over a general residuated lattice. Our logical characterizations of fuzzy simulations are formulated w.r.t. positive existential fragments of fuzzy propositional dynamic logic without tests and concern fuzzy preservation of positive existential modal formulas under fuzzy simulations as well as the Hennessy-Milner property of fuzzy simulations.
Full Text 
Sign-in/Register to access full text options
Sign-in/Register to access full text options 
Published version (
Free)
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
