UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS

DOI10.1017/jsl.2022.32OpenAlexW4224275486MaRDI QIDQ5052011

Amanda Vidal

Publication date: 18 November 2022

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

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

zbMATH Keywords

modal logicdecidabilityŁukasiewicz logicnon-classical logics

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Residuated lattices. An algebraic glimpse at substructural logics
• Standard Gödel modal logics
• On modal logic with an intuitionistic base
• Metamathematics of fuzzy logic
• Embedding logics into product logic
• On strong standard completeness in some \(\mathrm{MTL}_\Delta\) expansions
• A completeness theorem for continuous predicate modal logic
• On the relationship between fuzzy description logics and many-valued modal logics
• Algebraic foundations of many-valued reasoning
• Kripke semantics for modal substructural logics
• Axiomatization of crisp Gödel modal logic
• Axiomatizing logics of fuzzy preferences using graded modalities
• On transitive modal many-valued logics
• Extending maps to profinite completions in finitely generated quasivarieties
• Decidability of order-based modal logics
• Making fuzzy description logic more general
• The limits of decidability in fuzzy description logics with general concept inclusions
• On modal extensions of Product fuzzy logic
• Towards a Proof Theory of G\"odel Modal Logics
• Continuous first order logic and local stability
• On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
• On the Undecidability of Fuzzy Description Logics with GCIs and Product T-norm
• The vectorization of ITPACK 2C
• A New Proof of the Completeness of the Lukasiewicz Axioms
• Die Unentscheidbarkeit der einstelligen unendlichwertigen Prädikatenlogik
• Die Nichtaxiomatisierbarkeit der unendlichwertigen Mengenlehre
• On theories and models in fuzzy predicate logics
• Die nichtaxiomatisierbarkeit des unendlichwertigen Prädikatenkalküls von Łukasiewicz
• Continuous propositional modal logic
• Bi-modal Godel logic over [0,1-valued Kripke frames]
• A proof of completeness for continuous first-order logic
• Continuous Model Theory. (AM-58)
• A variant of a recursively unsolvable problem

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