On Modal Logics for Qualitative Possibility in a Fuzzy Setting

by   Petr Hajek, et al.

Within the possibilistic approach to uncertainty modeling, the paper presents a modal logical system to reason about qualitative (comparative) statements of the possibility (and necessity) of fuzzy propositions. We relate this qualitative modal logic to the many--valued analogues MVS5 and MVKD45 of the well known modal logics of knowledge and belief S5 and KD45 respectively. Completeness results are obtained for such logics and therefore, they extend previous existing results for qualitative possibilistic logics in the classical non-fuzzy setting.



page 1

page 2

page 3

page 4


Modal Logics for Qualitative Possibility and Beliefs

Possibilistic logic has been proposed as a numerical formalism for reaso...

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

We formulate and prove logical characterizations of crisp simulations an...

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

There are two kinds of bisimulation, namely crisp and fuzzy, between fuz...

Intuitionistic Non-Normal Modal Logics: A general framework

We define a family of intuitionistic non-normal modal logics; they can b...

lr-Multisemigroups and Modal Convolution Algebras

We show how modal quantales arise as convolution algebras of functions f...

Qualitative Decision Theory with Sugeno Integrals

This paper presents an axiomatic framework for qualitative decision unde...

K3, L3, LP, RM3, A3, FDE: How to Make Many-Valued Logics Work for You

We investigate some well-known (and a few not-so-well-known) many-valued...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.