Simplified Kripke semantics for K45-like Gödel modal logics and its axiomatic extensions

DOI10.1007/S11225-022-09987-0MaRDI QIDQ2157603zbMATH OpenOpenAlexFDO

Authors Olim Frits Tuyt, Francesc Esteva, Lluís Godo, Ricardo Rodriguez

Publication date 22 July 2022

Published in Studia Logica (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2105.06570

zbMATH Keywords

epistemic logicsmany-valued modal logicspossibilistic semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50) Fuzzy logic; logic of vagueness (03B52)

Abstract: In this paper, we provide simplified semantics for the logic K45(G), i.e. the many-valued Godel counterpart of the classical modal logic K45. More precisely, we characterize K45(G) as the set of valid formulae of the class of possibilistic Godel Kripke Frames <W,pi> where W is a non-empty set of worlds and pi: W o [0, 1] is a possibility distribution on W.

Review text

The paper considers the many-valued modal logic K45(G), that is, K45 where the truth value set is \([0,1]\) equipped with Gödel fuzzy logic. A semantics of this logic is given by generalized Kripke models where accessibility relation and atom evaluation are valued in \([0,1]\). The logics KD45(G) and KT45(G) are obtained by adding to K45(G) the appropriate modal axioms. In Section 4, it is shown that the semantics of K45(G) can be simplified and given in terms of possibilistic Kripke frames, given by a set \(W\) of worlds and a possibility distribution \(\pi:W\to [0,1]\). A subset of this semantics is complete for KD45(G), and another one is complete for KT45(G) (this latter result was already known). In Section 5 it is shown that K45(G) does not have the finite model property in the semantics described here, but it has it in another, hence decidability (and low complexity) of the logic follows.

Recommendations

• Possibilistic semantics for a modal KD45 extension of Gödel fuzzy logic
• Simplified Kripke style semantics for modal logics K45, KB4 and KD45
• A finite model property for Gödel modal logics
• Bi-modal Gödel logic over \([0,1]\)-valued Kripke frames
• Extending possibilistic logic over Gödel logic

Cites work

• A finite model property for Gödel modal logics
• Bi-modal Gödel logic over \([0,1]\)-valued Kripke frames
• Extending possibilistic logic over Gödel logic
• Generalized possibilistic logic: foundations and applications to qualitative reasoning about uncertainty
• scientific article; zbMATH DE number 35414 (Why is no real title available?)
• scientific article; zbMATH DE number 97789 (Why is no real title available?)
• scientific article; zbMATH DE number 592370 (Why is no real title available?)
• Inconsistency management from the standpoint of possibilistic logic
• Metamathematics of fuzzy logic
• On possibilistic modal logics defined over MTL-chains
• On the Logical Formalization of Possibilistic Counterparts of States over n-valued Lukasiewicz Events
• On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
• Possibilistic logic: a retrospective and prospective view
• Possibilistic semantics for a modal KD45 extension of Gödel fuzzy logic
• Pseudomonadic BL-algebras: an algebraic approach to possibilistic BL-logic
• Simplified Kripke style semantics for modal logics K45, KB4 and KD45
• Standard Gödel modal logics
• The one-variable fragment of corsi logic

Cited in

(9)

• Kripke semantics for fuzzy logics
• Axiomatization of crisp Gödel modal logic
• A note on strong axiomatization of Gödel justification logic
• A finite model property for Gödel modal logics
• Possibilistic semantics for a modal KD45 extension of Gödel fuzzy logic
• Bi-modal Gödel logic over \([0,1]\)-valued Kripke frames
• Simplified Kripke style semantics for modal logics K45, KB4 and KD45
• Two-layered logics for probabilities and belief functions over Belnap-Dunn logic
• Standard Gödel modal logics

This page was built for publication: Simplified Kripke semantics for K45-like Gödel modal logics and its axiomatic extensions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2157603)