Simplified Kripke semantics for K45-like Godel modal logics and its axiomatic extensions

2021/05/13 by Rodriguez, Ricardo, Tuyt, Olim, Godo, Lluis +1 · 2 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.2105.06570

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 where W is a non-empty set of worlds and π: W → [0, 1] is a possibility distribution on W.

Cited by

• Tableaux for epistemic Gödel logic
• Complexity of Abduction in Łukasiewicz Logic

Related

• Bi-modal Gödel logic over [0,1]-valued Kripke frames
• Simple tableaux for two expansions of Gödel modal logic
• Modal Logic for Reasoning About Uncertainty and Confusion
• Higher-order Kripke models for intuitionistic and non-classical modal logics
• A note on public announcements in standard Gödel modal logic