Pages that link to "Item:Q4242586"

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

Displaying 24 items.

• The decision problem of modal product logics with a diagonal, and faulty counter machines (Q295920) (← links)
• Matching topological and frame products of modal logics (Q295921) (← 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)
• The incompleteness of \(\mathrm{S}4\oplus\mathrm{S}4\) for the product space \(\mathbb R\times\mathbb R\) (Q2350220) (← links)
• Non-primitive recursive decidability of products of modal logics with expanding domains (Q2503403) (← links)
• Products, or how to create modal logics of high complexity (Q2708309) (← 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)
• (Q4430402) (← links)
• (Q4443212) (← links)
• The product of converse PDL and polymodal K (Q4487258) (← links)
• On modal logics between<b>K × K × K</b>and<b>S5 × S5 × S5</b> (Q4532612) (← links)
• Undecidability of QLTL and QCTL with two variables and one monadic predicate letter (Q5059700) (← links)
• Computer Science Logic (Q5292653) (← links)
• (Q5465443) (← links)
• On Product Logic with Truth-constants (Q5477455) (← links)
• Products of ‘transitive” modal logics (Q5718700) (← links)
• Complexity of finite-variable fragments of products with non-transitive modal logics (Q5866476) (← links)
• The Complexity of Decomposing Modal and First-Order Theories (Q5892176) (← links)
• Modal logics of succession for 2-dimensional integral spacetime (Q5935784) (← links)