Hennessy-Milner Type Theorems for Fuzzy Multimodal Logics Over Heyting Algebras
Authors:
Marko Stanković,
Miroslav Ćirić,
Jelena Ignjatović
Abstract:
In a recent paper, we have introduced two types of fuzzy simulations (forward and backward) and five types of fuzzy bisimulations (forward, backward, forward-backward, backward-forward and regular) between Kripke models for the fuzzy multimodal logics over a complete linearly ordered Heyting algebra. In this paper, for a given non-empty set $Ψ$ of modal formulae, we introduce the concept of a weak…
▽ More
In a recent paper, we have introduced two types of fuzzy simulations (forward and backward) and five types of fuzzy bisimulations (forward, backward, forward-backward, backward-forward and regular) between Kripke models for the fuzzy multimodal logics over a complete linearly ordered Heyting algebra. In this paper, for a given non-empty set $Ψ$ of modal formulae, we introduce the concept of a weak bisimulation between Kripke models. This concept can be used to express the degree of equality of fuzzy sets of formulae from $Ψ$ that are valid in two worlds $w$ and $w'$, that is, to express the degree of modal equivalence between worlds $w$ and $w'$ with respect to the formulae from $Ψ$. We prove several Hennessy-Milner type theorems. The first theorem determines that the greatest weak bisimulation for the set of plus-formulae between image-finite Kripke models coincides with the greatest forward bisimulation. The second theorem determines that the greatest weak bisimulation for the set of minus-formulae between domain-finite Kripke models coincides with the greatest backward bisimulation. Finally, the third theorem determines that the greatest weak bisimulation for the set of all modal formulae between the degree-finite Kripke models coincides with the greatest regular bisimulation.
△ Less
Submitted 14 February, 2025;
originally announced February 2025.
Weakly linear systems of fuzzy relation inequalities: The heterogeneous case
Authors:
Jelena Ignjatović,
Miroslav Ćirić,
Nada Damljanović,
Ivana Jančić
Abstract:
New types of systems of fuzzy relation inequalities and equations, called weakly linear, have been recently introduced in [J. Ignjatović, M. Ćirić, S. Bogdanović, On the greatest solutions to weakly linear systems of fuzzy relation inequalities and equations, Fuzzy Sets and Systems 161 (2010) 3081--3113.]. The mentioned paper dealt with homogeneous weakly linear systems, composed of fuzzy relation…
▽ More
New types of systems of fuzzy relation inequalities and equations, called weakly linear, have been recently introduced in [J. Ignjatović, M. Ćirić, S. Bogdanović, On the greatest solutions to weakly linear systems of fuzzy relation inequalities and equations, Fuzzy Sets and Systems 161 (2010) 3081--3113.]. The mentioned paper dealt with homogeneous weakly linear systems, composed of fuzzy relations on a single set, and a method for computing their greatest solutions has been provided. This method is based on the computing of the greatest post-fixed point, contained in a given fuzzy relation, of an isotone function on the lattice of fuzzy relations. Here we adapt this method for computing the greatest solutions of heterogeneous weakly linear systems, where the unknown fuzzy relation relates two possibly different sets. We also introduce and study quotient fuzzy relational systems and establish relationships between solutions to heterogeneous and homogeneous weakly linear systems. Besides, we point out to applications of the obtained results in the state reduction of fuzzy automata and computing the greatest simulations and bisimulations between fuzzy automata, as well as in the positional analysis of fuzzy social networks.
△ Less
Submitted 16 May, 2011;
originally announced May 2011.
