UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS

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)

Cites Work

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

Cited In (6)

Title not available (Why is that?)
A Universally Defined Undecidable Unimodal Logic
A Catalog ofWeak Many-Valued Modal Axioms and their Corresponding Frame Classes
Strong standard completeness theorems for S5-modal Łukasiewicz logics
Title not available (Why is that?)
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)