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 15 items.
- A STIT logic for reasoning about social influence (Q310094) (← links)
- Quantified temporal alethic boulesic doxastic logic (Q828771) (← 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)
- 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)
- On the Reconciliation of Logics of Agency and Logics of Event Types (Q4982651) (← links)
- (Q4993607) (← links)
- A logical analysis of instrumentality judgments: means-end relations in the context of experience and expectations (Q6054066) (← links)
