Pages that link to "Item:Q2361346"
From MaRDI portal
The following pages link to Decidability of order-based modal logics (Q2361346):
Displaying 13 items.
- Expressivity in chain-based modal logics (Q1745356) (← links)
- Neighborhood semantics for modal many-valued logics (Q1795204) (← 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)
- (Q4603449) (← 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)
