Pages that link to "Item:Q2983395"
From MaRDI portal
The following pages link to Canonicity results for mu-calculi: an algorithmic approach (Q2983395):
Displayed 6 items.
- Algorithmic correspondence and canonicity for non-distributive logics (Q2273010) (← links)
- Algebraic Semantics for Hybrid Logics (Q3298278) (← links)
- Probabilistic Epistemic Updates on Algebras (Q3457689) (← links)
- THE LOGIC OF RESOURCES AND CAPABILITIES (Q4577999) (← links)
- (Q4625704) (← links)
- (Q5119388) (← links)