Pages that link to "Item:Q4487258"
From MaRDI portal
The following pages link to The product of converse PDL and polymodal K (Q4487258):
Displaying 9 items.
- The decision problem of modal product logics with a diagonal, and faulty counter machines (Q295920) (← links)
- Combined model checking for temporal, probabilistic, and real-time logics (Q407511) (← links)
- On combinations of propositional dynamic logic and doxastic modal logics (Q1006486) (← links)
- Interactions between knowledge, action and commitment within agent dynamic logic (Q1770620) (← links)
- Products of modal logics. III. Products of modal and temporal logics (Q1863827) (← links)
- Non-primitive recursive decidability of products of modal logics with expanding domains (Q2503403) (← links)
- Complexity of products of modal logics (Q4242586) (← links)
- An (almost) fuzzy logic of action and preferences, its quasi-model interpretations, and the problem of its decidability (Q6064250) (← links)
- Gödel-Dummett linear temporal logic (Q6665714) (← links)