UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS

DOI10.1017/JSL.2022.32MaRDI QIDQ5052011zbMATH OpenOpenAlexFDO

Publication date 18 November 2022

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

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

decidability modal logic non-classical logics Łukasiewicz logic

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

(7)

scientific article; zbMATH DE number 3861119 (Why is no real title available?)
A Universally Defined Undecidable Unimodal Logic
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)