The following pages link to Propositional \(\text Q\)-logic (Q1863958):
Displayed 8 items.
- Combinations of \textit{stit} with \textit{ought} and \textit{know} (Q266671) (← links)
- A STIT logic for reasoning about social influence (Q310094) (← links)
- Combinations of stit and actions (Q616041) (← links)
- Actions as events (Q692178) (← links)
- Alternative axiomatics and complexity of deliberative STIT theories (Q939059) (← links)
- Complexity results of STIT fragments (Q1928487) (← links)
- Quantification over sets of possible worlds in branching-time semantics (Q2500778) (← links)
- Temporal logic and its application to normative reasoning (Q4583324) (← links)