Characterizing Crisp Simulations and Crisp Directed Simulations between Fuzzy Labeled Transition Systems by Using Fuzzy Modal Logics

09/06/2021
by   Linh Anh Nguyen, et al.
0

We formulate and prove logical characterizations of crisp simulations and crisp directed simulations between fuzzy labeled transition systems with respect to fuzzy modal logics that use a general t-norm-based semantics. The considered logics are fragments of the fuzzy propositional dynamic logic with the Baaz projection operator. The logical characterizations concern preservation of positive existential (respectively, positive) modal formulas under crisp simulations (respectively, crisp directed simulations), as well as the Hennessy-Milner property of such simulations.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
01/29/2021

Logical Characterizations of Fuzzy Bisimulations in Fuzzy Modal Logics over Residuated Lattices

There are two kinds of bisimulation, namely crisp and fuzzy, between fuz...
research
12/03/2020

Computing Crisp Simulations and Crisp Directed Simulations for Fuzzy Graph-Based Structures

Like bisimulations, simulations and directed simulations are used for an...
research
02/27/2013

On Modal Logics for Qualitative Possibility in a Fuzzy Setting

Within the possibilistic approach to uncertainty modeling, the paper pre...
research
10/27/2020

Computing Crisp Bisimulations for Fuzzy Structures

Fuzzy structures such as fuzzy automata, fuzzy transition systems, weigh...
research
06/24/2021

A fuzzy take on the logical issues of statistical hypothesis testing

Statistical Hypothesis Testing (SHT) is a class of inference methods whe...
research
06/09/2021

Fuzzy propositional configuration logics

In order to be able to characterize quantitative properties such as the ...
research
03/17/2023

Decidability of modal logics of non-k-colorable graphs

We consider the bimodal language, where the first modality is interprete...

Please sign up or login with your details

Forgot password? Click here to reset