The following pages link to (Q3003823):
Displayed 5 items.
- Deontic epistemic stit logic distinguishing modes of mens rea (Q545173) (← links)
- Making a start with the stit logic analysis of intentional action (Q652741) (← links)
- Alternative axiomatics and complexity of deliberative STIT theories (Q939059) (← 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)