The following pages link to (Q3086943):
Displayed 16 items.
- Combinations of \textit{stit} with \textit{ought} and \textit{know} (Q266671) (← links)
- Decidability of an Xstit logic (Q456970) (← links)
- Epistemic logic meets epistemic game theory: a comparison between multi-agent Kripke models and type spaces (Q516317) (← links)
- A logic for reasoning about counterfactual emotions (Q543627) (← links)
- Deontic epistemic stit logic distinguishing modes of mens rea (Q545173) (← links)
- Making a start with the stit logic analysis of intentional action (Q652741) (← links)
- Some forms of collectively bringing about or `seeing to it that' (Q830364) (← links)
- Decidability of logics based on an indeterministic metric tense logic (Q897475) (← links)
- An axiomatic system and a tableau calculus for STIT imagination logic (Q1749805) (← links)
- Complexity results of STIT fragments (Q1928487) (← links)
- A dynamic logic of agency. I: STIT, capabilities and powers (Q2268355) (← links)
- On Satisfiability in ATL with Strategy Contexts (Q2915087) (← links)
- Temporal logic and its application to normative reasoning (Q4583324) (← links)
- (Q4993609) (← links)
- RESTRICTED INTERPOLATION AND LACK THEREOF IN STIT LOGIC (Q5117589) (← links)
- Expressivity results for deontic logics of collective agency (Q6088592) (← links)