The following pages link to (Q2852085):
Displayed 9 items.
- Combinations of \textit{stit} with \textit{ought} and \textit{know} (Q266671) (← links)
- Deontic epistemic stit logic distinguishing modes of mens rea (Q545173) (← links)
- Some forms of collectively bringing about or `seeing to it that' (Q830364) (← links)
- Choice-driven counterfactuals (Q2121480) (← links)
- Principles Of Talmudic Logic (Q3305655) (← 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)
- ACTION TYPES IN STIT SEMANTICS (Q4600819) (← links)