The following pages link to (Q3313253):
Displaying 18 items.
- A dynamic deontic logic for complex contracts (Q444496) (← links)
- Dynamic extensions of arrow logic (Q598299) (← links)
- Undecidability of PDL with \(L=\{a^{2^ i}| i\geq 0\}\) (Q801901) (← links)
- PDL with data constants (Q1065545) (← links)
- The complexity of reasoning about knowledge and time. I: Lower bounds (Q1119565) (← links)
- A modal logic for cyclic repeating (Q1201727) (← links)
- A system of dynamic modal logic (Q1267078) (← links)
- A modal perspective on the computational complexity of attribute value grammar (Q1314274) (← links)
- The price of universality (Q1815426) (← links)
- Domino-tiling games (Q1822501) (← links)
- Hybrid languages (Q1909610) (← links)
- The undecidability of iterated modal relativization (Q2574887) (← links)
- Complexity Optimal Decision Procedure for a Propositional Dynamic Logic with Parallel Composition (Q2817938) (← links)
- Exponential-Size Model Property for PDL with Separating Parallel Composition (Q2946330) (← links)
- Recurring Dominoes: Making the Highly Undecidable Highly Understandable (Q3313255) (← links)
- $\mathcal{CL}$ : An Action-Based Logic for Reasoning about Contracts (Q3638294) (← links)
- Complete Axiomatization of a Relative Modal Logic with Composition and Intersection (Q4236070) (← links)
- Knowledge and Local Actions (Q5213656) (← links)
