On Modal Logics for Qualitative Possibility in a Fuzzy Setting

02/27/2013
by   Petr Hajek, et al.
0

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.

READ FULL TEXT

Authors

page 1

page 2

page 3

page 4

03/13/2013

Modal Logics for Qualitative Possibility and Beliefs

Possibilistic logic has been proposed as a numerical formalism for reaso...
09/06/2021

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...
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...
01/28/2019

Intuitionistic Non-Normal Modal Logics: A general framework

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

lr-Multisemigroups and Modal Convolution Algebras

We show how modal quantales arise as convolution algebras of functions f...
01/30/2013

Qualitative Decision Theory with Sugeno Integrals

This paper presents an axiomatic framework for qualitative decision unde...
11/15/2017

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.