Pages that link to "Item:Q2708309"
From MaRDI portal
The following pages link to Products, or how to create modal logics of high complexity (Q2708309):
Displaying 7 items.
- The decision problem of modal product logics with a diagonal, and faulty counter machines (Q295920) (← links)
- Alternative axiomatics and complexity of deliberative STIT theories (Q939059) (← links)
- An elementary construction for a non-elementary procedure (Q1863831) (← links)
- Non-primitive recursive decidability of products of modal logics with expanding domains (Q2503403) (← links)
- Complexity of products of modal logics (Q4242586) (← links)
- Products of modal logics, part 1 (Q4380448) (← links)
- The Complexity of Decomposing Modal and First-Order Theories (Q5892176) (← links)