Pages that link to "Item:Q2820688"
From MaRDI portal
The following pages link to Expressivity of Many-Valued Modal Logics, Coalgebraically (Q2820688):
Displaying 7 items.
- Expressivity in chain-based modal logics (Q1745356) (← 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)
- (Q5028440) (← links)
- Algebra and Coalgebra in Computer Science (Q5492825) (← links)
- Many-valued coalgebraic modal logic: one-step completeness and finite model property (Q6588974) (← links)
- Many-valued coalgebraic logic over semi-primal varieties (Q6597956) (← links)