Pages that link to "Item:Q1207433"
From MaRDI portal
The following pages link to Time and modality in the logic of agency (Q1207433):
Displaying 25 items.
- Combinations of \textit{stit} with \textit{ought} and \textit{know} (Q266671) (← links)
- A STIT logic for reasoning about social influence (Q310094) (← links)
- Agency and fictional truth: a formal study on fiction-making (Q514095) (← links)
- Karma theory, determinism, fatalism and freedom of will (Q523292) (← links)
- Deontic epistemic stit logic distinguishing modes of mens rea (Q545173) (← links)
- Alternative axiomatics and complexity of deliberative STIT theories (Q939059) (← links)
- A Gabbay-rule free axiomatization of \(T\times W\) validity (Q1272831) (← links)
- Axioms for deliberative stit (Q1272834) (← links)
- Combinations of tense and modality for predicate logic (Q1303794) (← links)
- Decidability of stit theory with a single agent and Refref equivalence (Q1327485) (← links)
- Doing and refraining from refraining (Q1337507) (← links)
- In the realm of agents (Q1353843) (← links)
- Propositional \(\text Q\)-logic (Q1863958) (← links)
- Busy choice sequences refraining formulas and modalities (Q1893121) (← links)
- The deliberative stit: A study of action, omission, ability, and obligation (Q1908789) (← links)
- Reasoning about actions and obligations in first-order logic (Q1922829) (← links)
- Complexity results of STIT fragments (Q1928487) (← links)
- Indistinguishability, choices, and logics of agency (Q2016056) (← links)
- Dynamic logic of legal competences (Q2071574) (← links)
- Generalizing deontic action logic (Q2157600) (← links)
- A logic of delegation (Q2269132) (← links)
- Actions and outcomes: two aspects of agency (Q2460164) (← links)
- A formal characterisation of Hamblin's action-state semantics (Q2642475) (← links)
- The logic of action and control (Q6054057) (← links)
- DOING WITHOUT ACTION TYPES (Q6153157) (← links)
