Pages that link to "Item:Q2361346"
From MaRDI portal
The following pages link to Decidability of order-based modal logics (Q2361346):
Displaying 20 items.
- On the decidability of open logic (Q848254) (← links)
- Expressivity in chain-based modal logics (Q1745356) (← links)
- Neighborhood semantics for modal many-valued logics (Q1795204) (← links)
- Decidability of some classes of modal logic (Q1873248) (← links)
- On transitive modal many-valued logics (Q2035340) (← links)
- Completeness for monadic fuzzy logics via functional algebras (Q2035346) (← links)
- A Lindström theorem in many-valued modal logic over a finite MTL-chain (Q2219166) (← links)
- Toward a general frame semantics for modal many-valued logics (Q2317513) (← links)
- One-variable fragments of intermediate logics over linear frames (Q2672661) (← links)
- On Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility (Q2915076) (← links)
- (Q3063987) (← links)
- (Q4551034) (← links)
- (Q4603449) (← links)
- Succinctness of Order-Invariant Logics on Depth-Bounded Structures (Q4608722) (← links)
- Model checking existential logic on partially ordered sets (Q4635604) (← links)
- UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS (Q5052011) (← links)
- From Kripke to Neighborhood Semantics for Modal Fuzzy Logics (Q5117202) (← links)
- Frame definability in finitely valued modal logics (Q6040618) (← links)
- One-variable fragments of first-order logics (Q6636687) (← links)
- Gödel-Dummett linear temporal logic (Q6665714) (← links)