Pages that link to "Item:Q2904058"
From MaRDI portal
The following pages link to On the complexity of modal axiomatisations over many-dimensional structures (Q2904058):
Displaying 12 items.
- Bare canonicity of representable cylindric and polyadic algebras (Q387126) (← links)
- A dichotomy for some elementarily generated modal logics (Q497429) (← links)
- Alternative axiomatics and complexity of deliberative STIT theories (Q939059) (← links)
- Multi-dimensional semantics for modal logics (Q1924325) (← 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)
- Strongly representable atom structures of relation algebras (Q2781354) (← links)
- Non-finitely axiomatisable two-dimensional modal logics (Q2915901) (← links)
- Revisiting completeness for the Kn modal logics: a new proof (Q4444913) (← links)
- (Q4526735) (← links)
- On modal logics between<b>K × K × K</b>and<b>S5 × S5 × S5</b> (Q4532612) (← links)
- Computer Science Logic (Q5292653) (← links)