The following pages link to Axioms for deliberative stit (Q1272834):
Displayed 19 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)
- Completeness of a branching-time logic with possible choices (Q622622) (← links)
- Actions as events (Q692178) (← links)
- Quantified temporal alethic boulesic doxastic logic (Q828771) (← links)
- Alternative axiomatics and complexity of deliberative STIT theories (Q939059) (← links)
- Remarks on the logic of imagination. A step towards understanding doxastic control through imagination (Q1708861) (← links)
- Propositional \(\text Q\)-logic (Q1863958) (← links)
- Complexity results of STIT fragments (Q1928487) (← links)
- An epistemic logic of blameworthiness (Q1989408) (← links)
- Proof-theoretic analysis of the logics of agency: the deliberative STIT (Q2046875) (← links)
- Inference as doxastic agency. I: The basics of justification stit logic (Q2631648) (← links)
- Temporal logic and its application to normative reasoning (Q4583324) (← links)
- (Q4993609) (← links)
- Uncompactness of stit logics containing generalized refref conditionals (Q5937832) (← links)
- The logic of action and control (Q6054057) (← links)
- Counterfactual and seeing-to-it responsibilities in strategic games (Q6076365) (← links)
- Expressivity results for deontic logics of collective agency (Q6088592) (← links)