UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS

DOI10.1017/JSL.2022.32MaRDI QIDQ5052011zbMATH OpenOpenAlexFDO

Authors A. Vidal

Publication date 18 November 2022

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

decidabilitymodal logicnon-classical logicsŁukasiewicz logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Many-valued logic (03B50) Fuzzy logic; logic of vagueness (03B52)

Recommendations

• On transitive modal many-valued logics
• On modal logics betweenK × K × KandS5 × S5 × S5
• Decidability of order-based modal logics
• scientific article; zbMATH DE number 35414
• On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice

Cites work

• scientific article; zbMATH DE number 1003731 (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 6841178 (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?)
• A New Proof of the Completeness of the Lukasiewicz Axioms
• A completeness theorem for continuous predicate modal logic
• A proof of completeness for continuous first-order logic
• A variant of a recursively unsolvable problem
• Abstract algebraic logic. An introductory textbook
• Algebraic foundations of many-valued reasoning
• Axiomatization of crisp Gödel modal logic
• Axiomatizing logics of fuzzy preferences using graded modalities
• Bi-modal Gödel logic over \([0,1]\)-valued Kripke frames
• Continuous Model Theory. (AM-58)
• Continuous first order logic and local stability
• Continuous propositional modal logic
• Decidability of order-based modal logics
• Die Nichtaxiomatisierbarkeit der unendlichwertigen Mengenlehre
• Die Unentscheidbarkeit der einstelligen unendlichwertigen Prädikatenlogik
• Die nichtaxiomatisierbarkeit des unendlichwertigen Prädikatenkalküls von Łukasiewicz
• Embedding logics into product logic
• Kripke semantics for modal substructural logics
• Logics without the contraction rule and residuated lattices
• Making fuzzy description logic more general
• Metamathematics of fuzzy logic
• On modal extensions of product fuzzy logic
• On modal logic with an intuitionistic base
• On strong standard completeness in some \(\mathrm{MTL}_\Delta\) expansions
• On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
• On the relationship between fuzzy description logics and many-valued modal logics
• On the undecidability of fuzzy description logics with GCIs and product t-norm
• On theories and models in fuzzy predicate logics
• On transitive modal many-valued logics
• Reasoning within fuzzy description logics
• Residuated lattices. An algebraic glimpse at substructural logics
• Standard Gödel modal logics
• The limits of decidability in fuzzy description logics with general concept inclusions
• The vectorization of ITPACK 2C
• Towards a proof theory of Gödel modal logics

Cited in

(8)

• scientific article; zbMATH DE number 3861119 (Why is no real title available?)
• A Universally Defined Undecidable Unimodal Logic
• New foundations of reasoning via real-valued first-order logics
• A Catalog ofWeak Many-Valued Modal Axioms and their Corresponding Frame Classes
• Undecidability and non-axiomatizability of modal many-valued logics
• Strong standard completeness theorems for S5-modal Łukasiewicz logics
• scientific article; zbMATH DE number 991155 (Why is no real title available?)
• Undefinability in inquisitive logic with tensor

This page was built for publication: UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS

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