The following pages link to (Q3318101):
Displaying 7 items.
- A dynamic deontic logic for complex contracts (Q444496) (← links)
- Undecidability of PDL with \(L=\{a^{2^ i}| i\geq 0\}\) (Q801901) (← links)
- ``During'' cannot be expressed by ``after'' (Q1085154) (← links)
- Automata-theoretic techniques for modal logics of programs (Q1090675) (← links)
- Concurrent program schemes and their logics (Q1094866) (← links)
- Program schemata vs. automata for decidability of program logics (Q1392141) (← links)
- $\mathcal{CL}$ : An Action-Based Logic for Reasoning about Contracts (Q3638294) (← links)
