The following pages link to (Q2852085):
Displayed 4 items.
- Deontic epistemic stit logic distinguishing modes of mens rea (Q545173) (← links)
- A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’ (Q3522047) (← links)
- A Complete STIT Logic for Knowledge and Action, and Some of Its Applications (Q3601785) (← links)
- Model Checking Strategic Equilibria (Q3614880) (← links)