Simplified Kripke semantics for K45-like Gödel modal logics and its axiomatic extensions
From MaRDI portal
Publication:2157603
DOI10.1007/s11225-022-09987-0zbMath1498.03051arXiv2105.06570OpenAlexW3163011003MaRDI QIDQ2157603
Olim Frits Tuyt, Lluís Godo, Francesc Esteva, Ricardo Oscar Rodríguez
Publication date: 22 July 2022
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2105.06570
Fuzzy logic; logic of vagueness (03B52) Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50)
Cites Work
- Possibilistic logic: a retrospective and prospective view
- Extending possibilistic logic over Gödel logic
- Standard Gödel modal logics
- Metamathematics of fuzzy logic
- Generalized possibilistic logic: foundations and applications to qualitative reasoning about uncertainty
- The one-variable fragment of corsi logic
- Pseudomonadic BL-algebras: an algebraic approach to possibilistic BL-logic
- A Finite Model Property for Gödel Modal Logics
- 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
- Inconsistency Management from the Standpoint of Possibilistic Logic
- Possibilistic Semantics for a Modal KD45 Extension of Gödel Fuzzy Logic
- Bi-modal Godel logic over [0,1-valued Kripke frames]
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
