The following pages link to (Q4518432):
Displaying 11 items.
- Combinations of \textit{stit} with \textit{ought} and \textit{know} (Q266671) (← links)
- Combinations of stit and actions (Q616041) (← links)
- Actions as events (Q692178) (← links)
- Decidability of logics based on an indeterministic metric tense logic (Q897475) (← links)
- Alternative axiomatics and complexity of deliberative STIT theories (Q939059) (← links)
- Axioms for deliberative stit (Q1272834) (← links)
- Propositional \(\text Q\)-logic (Q1863958) (← links)
- Stit semantics for epistemic notions based on information disclosure in interactive settings (Q5919130) (← links)
- Uncompactness of stit logics containing generalized refref conditionals (Q5937832) (← links)
- A Logic-Based Analysis of Responsibility (Q6118734) (← links)
- A deontic stit logic based on beliefs and expected utility (Q6642580) (← links)
