The following pages link to (Q3629226):
Displaying 7 items.
- Bare canonicity of representable cylindric and polyadic algebras (Q387126) (← links)
- Sahlqvist correspondence for modal mu-calculus (Q454371) (← links)
- A dichotomy for some elementarily generated modal logics (Q497429) (← links)
- Spatial logic of tangled closure operators and modal mu-calculus (Q515566) (← links)
- Axiomatizing hybrid logic using modal logic (Q631084) (← links)
- Canonical extensions and ultraproducts of polarities (Q1800462) (← links)
- Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations (Q2304538) (← links)
