Axiomatization of crisp Gödel modal logic

DOI10.1007/S11225-020-09910-5MaRDI QIDQ2021571zbMATH OpenOpenAlexFDO

Authors A. Vidal, Ricardo Rodriguez

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

axiomatic systemsGödel logiclattice-valued Kripke semanticsmodal Gödel logicmodal many-valued logics

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• Standard Gödel modal logics
• Bi-modal Gödel logic over \([0,1]\)-valued Kripke frames
• Simplified Kripke semantics for K45-like Gödel modal logics and its axiomatic extensions
• Proof systems for a Gödel modal logic
• Extending possibilistic logic over Gödel logic

Cites work

• A finite model property for Gödel modal logics
• A propositional calculus with denumerable matrix
• Bi-modal Gödel logic over \([0,1]\)-valued Kripke frames
• scientific article; zbMATH DE number 3950488 (Why is no real title available?)
• 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 823607 (Why is no real title available?)
• scientific article; zbMATH DE number 1406811 (Why is no real title available?)
• Kripke semantics for modal substructural logics
• Logic with truth values in A linearly ordered heyting algebra
• Many-valued modal logics: a simple approach
• Metamathematics of fuzzy logic
• On a generalization of quantifiers
• On fuzzy modal logics \(S5(\mathcal C)\)
• On modal extensions of product fuzzy logic
• On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
• Positive modal logic
• Proof systems for a Gödel modal logic
• Standard Gödel modal logics
• Towards a proof theory of Gödel modal logics

Cited in

(14)

• Paraconsistent Gödel modal logic
• Graded epistemic logic with public announcement
• scientific article; zbMATH DE number 6863647 (Why is no real title available?)
• Gödel Homomorphisms as Gödel Modal Operators
• scientific article; zbMATH DE number 1420834 (Why is no real title available?)
• scientific article; zbMATH DE number 7318985 (Why is no real title available?)
• UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS
• Axiomatization of crisp Godel modal logic
• Non-standard modalities in paraconsistent G\"{o}del logic
• Algebras and relational frames for Gödel modal logic and some of its extensions
• A Gödel modal logic over witnessed crisp models
• Crisp bi-Gödel modal logic and its paraconsistent expansion
• Fuzzy bi-Gödel modal logic and its paraconsistent relatives
• On the local modal product logic: standard completeness and decidability

This page was built for publication: Axiomatization of crisp Gödel modal logic

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