Axiomatization of crisp Gödel modal logic

DOI10.1007/s11225-020-09910-5OpenAlexW3034542628MaRDI QIDQ2021571

Amanda Vidal, Ricardo Oscar Rodríguez

Publication date: 27 April 2021

Published in: Studia Logica (Search for Journal in Brave)

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

zbMATH Keywords

Gödel logicaxiomatic systemsmodal many-valued logicslattice-valued Kripke semanticsmodal Gödel logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items

UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS, Graded epistemic logic with public announcement, Paraconsistent Gödel modal logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On fuzzy modal logics \(S5(\mathcal C)\)
• Standard Gödel modal logics
• Metamathematics of fuzzy logic
• Kripke semantics for modal substructural logics
• Positive modal logic
• Extending maps to profinite completions in finitely generated quasivarieties
• A Finite Model Property for Gödel Modal Logics
• On modal extensions of Product fuzzy logic
• Towards a Proof Theory of G\"odel Modal Logics
• On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
• On a generalization of quantifiers
• A propositional calculus with denumerable matrix
• MANY-VALUED MODAL LOGICS: A SIMPLE APPROACH
• Proof Systems for a Gödel Modal Logic
• Bi-modal Godel logic over [0,1-valued Kripke frames]
• Logic with truth values in A linearly ordered heyting algebra