Pages that link to "Item:Q4242586"

The following pages link to Complexity of products of modal logics (Q4242586):

Displaying 8 items.

• The decision problem of modal product logics with a diagonal, and faulty counter machines (Q295920) (← links)
• \({\mathcal E}\)-connections of abstract description systems (Q814594) (← links)
• An NP-complete fragment of fibring logic (Q905999) (← 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)