The following pages link to (Q2904058):
Displaying 5 items.
- Bare canonicity of representable cylindric and polyadic algebras (Q387126) (← links)
- A dichotomy for some elementarily generated modal logics (Q497429) (← links)
- A construction of cylindric and polyadic algebras from atomic relation algebras (Q1935018) (← links)
- Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations (Q2304538) (← links)
- Non-finitely axiomatisable two-dimensional modal logics (Q2915901) (← links)
