Pages that link to "Item:Q1745356"
From MaRDI portal
The following pages link to Expressivity in chain-based modal logics (Q1745356):
Displaying 10 items.
- A modal logic for discretely descending chains of sets (Q1826367) (← links)
- Exemplaric Expressivity of Modal Logics (Q3056297) (← links)
- (Q4603449) (← links)
- Finite-Chain Graded Modal Logic (Q5213655) (← links)
- Frame definability in finitely valued modal logics (Q6040618) (← links)
- Logical characterizations of fuzzy bisimulations in fuzzy modal logics over residuated lattices (Q6058014) (← links)
- Algebraic semantics for the minimum many-valued modal logic over Ł\(_n\) (Q6058015) (← links)
- Fuzzy simulations and bisimulations between fuzzy automata (Q6099555) (← links)
- Computing the fuzzy partition corresponding to the greatest fuzzy auto-bisimulation of a fuzzy graph-based structure under the Gödel semantics (Q6496169) (← links)
- Many-valued coalgebraic logic over semi-primal varieties (Q6597956) (← links)