Decidability of order-based modal logics
From MaRDI portal
Publication:2361346
Recommendations
- Decidability of some classes of modal logic
- On the decidability of elementary modal logics
- On provability logics with linearly ordered modalities
- Decidable elementary modal logics
- On the decidability of certain semi-lattice based modal logics
- Decidable fragments of first-order modal logics
- Decidable first-order modal logics with counting quantifiers
- scientific article; zbMATH DE number 2105671
- Decidability by resolution for propositional modal logics
Cites work
- A finite model property for Gödel modal logics
- A propositional calculus with denumerable matrix
- Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions
- Bi-modal Gödel logic over \([0,1]\)-valued Kripke frames
- Continuous Fraïssé conjecture
- First-order Gödel logics
- Fuzzy description logics under Gödel semantics
- scientific article; zbMATH DE number 3129315 (Why is no real title available?)
- 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 2063019 (Why is no real title available?)
- scientific article; zbMATH DE number 6863647 (Why is no real title available?)
- scientific article; zbMATH DE number 1377706 (Why is no real title available?)
- Making fuzzy description logic more general
- Many-valued modal logics: a simple approach
- Metamathematics of fuzzy logic
- MIPC as the formalisation of an intuitionist concept of modality
- Modal logic
- On languages with two variables
- On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
- On very true
- Reasoning within fuzzy description logics
- Relationships between nondeterministic and deterministic tape complexities
- Spatial reasoning in a fuzzy region connection calculus
- Standard Gödel modal logics
- Superintuitionistic companions of classical modal logics
- Tense operators on MV-algebras and Łukasiewicz-Moisil algebras
- The Computational Complexity of Provability in Systems of Modal Propositional Logic
- Towards a proof theory of Gödel modal logics
- Undecidability of First-Order Intuitionistic and Modal Logics with Two variables
Cited in
(32)- Expressivity in chain-based modal logics
- Neighborhood semantics for modal many-valued logics
- Decidability of some classes of modal logic
- On transitive modal many-valued logics
- Completeness for monadic fuzzy logics via functional algebras
- A Lindström theorem in many-valued modal logic over a finite MTL-chain
- The one-variable fragment of corsi logic
- Toward a general frame semantics for modal many-valued logics
- One-variable fragments of intermediate logics over linear frames
- A finite model property for Gödel modal logics
- On Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility
- scientific article; zbMATH DE number 5827849 (Why is no real title available?)
- Monadic Fragments of Gödel Logics: Decidability and Undecidability Results
- scientific article; zbMATH DE number 1795986 (Why is no real title available?)
- scientific article; zbMATH DE number 6841178 (Why is no real title available?)
- Succinctness of Order-Invariant Logics on Depth-Bounded Structures
- UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS
- A monadic logic of ordered abelian groups
- From Kripke to neighborhood semantics for modal fuzzy logics
- Frame definability in finitely valued modal logics
- Time and Gödel: fuzzy temporal reasoning in PSPACE
- One-variable fragments of first-order logics
- Gödel-Dummett linear temporal logic
- Asymptotic truth-value laws in many-valued logics
- A Gödel modal logic over witnessed crisp models
- New foundations of reasoning via real-valued first-order logics
- Crisp bi-Gödel modal logic and its paraconsistent expansion
- Polytime embedding of intuitionistic modal logics into their one-variable fragments
- Fuzzy bi-Gödel modal logic and its paraconsistent relatives
- Paraconsistent transition structures: compositional principles and a modal logic
- On the local modal product logic: standard completeness and decidability
- On the decidability of open logic
This page was built for publication: Decidability of order-based modal logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2361346)
