The following pages link to Axioms for deliberative stit (Q1272834):
Displayed 7 items.
- Combinations of stit and actions (Q616041) (← links)
- Completeness of a branching-time logic with possible choices (Q622622) (← links)
- Actions as events (Q692178) (← links)
- Alternative axiomatics and complexity of deliberative STIT theories (Q939059) (← links)
- Propositional \(\text Q\)-logic (Q1863958) (← links)
- Complexity results of STIT fragments (Q1928487) (← links)
- Uncompactness of stit logics containing generalized refref conditionals (Q5937832) (← links)