Pages that link to "Item:Q2268355"
From MaRDI portal
The following pages link to A dynamic logic of agency. I: STIT, capabilities and powers (Q2268355):
Displaying 24 items.
- A STIT logic for reasoning about social influence (Q310094) (← links)
- On the dynamic logic of agency and action (Q456961) (← links)
- Quantified temporal alethic boulesic doxastic logic (Q828771) (← links)
- Axioms for deliberative stit (Q1272834) (← links)
- In the realm of agents (Q1353843) (← links)
- Propositional \(\text Q\)-logic (Q1863958) (← links)
- Complexity results of STIT fragments (Q1928487) (← links)
- A dynamic logic of agency. II: Deterministic \({\mathcal{DLA}}\), coalition logic, and game theory (Q1959225) (← links)
- Blame it on me (Q1986083) (← links)
- Indistinguishability, choices, and logics of agency (Q2016056) (← links)
- Choice-driven counterfactuals (Q2121480) (← links)
- Weighted modal logic in epistemic and deontic contexts (Q2148817) (← links)
- Generalizing deontic action logic (Q2157600) (← links)
- Epistemic GDL: a logic for representing and reasoning about imperfect information games (Q2238622) (← links)
- A modal logic of epistemic games (Q2344955) (← links)
- Alternating-Time Temporal Announcement Logic (Q3092297) (← links)
- Ten Problems of Deontic Logic and Normative Reasoning in Computer Science (Q3166987) (← links)
- Collective agency, direct action and dynamic operators (Q3550953) (← links)
- Reasoning About the Transfer of Control (Q3563092) (← links)
- Grounding power on actions and mental attitudes (Q4925175) (← links)
- On the Reconciliation of Logics of Agency and Logics of Event Types (Q4982651) (← links)
- (Q4993607) (← links)
- Reasoning about types of action and agent capabilities (Q5176656) (← links)
- A logical analysis of instrumentality judgments: means-end relations in the context of experience and expectations (Q6054066) (← links)
