Pages that link to "Item:Q4242586"
From MaRDI portal
The following pages link to Complexity of products of modal logics (Q4242586):
Displayed 9 items.
- \({\mathcal E}\)-connections of abstract description systems (Q814594) (← links)
- Alternative axiomatics and complexity of deliberative STIT theories (Q939059) (← links)
- A decidable temporal logic of parallelism (Q1130239) (← links)
- Non-primitive recursive decidability of products of modal logics with expanding domains (Q2503403) (← links)
- Decidable fragments of first-order modal logics (Q2758067) (← links)
- On Satisfiability in ATL with Strategy Contexts (Q2915087) (← links)
- Products of Modal Logics with Diagonal Constant Lacking the Finite Model Property (Q3655206) (← links)
- On modal logics between<b>K × K × K</b>and<b>S5 × S5 × S5</b> (Q4532612) (← links)
- Modal logics of succession for 2-dimensional integral spacetime (Q5935784) (← links)