A dynamic logic of agency. I: STIT, capabilities and powers
From MaRDI portal
Publication:2268355
DOI10.1007/s10849-009-9105-xzbMath1189.03025MaRDI QIDQ2268355
Emiliano Lorini, Andreas Herzig
Publication date: 5 March 2010
Published in: Journal of Logic, Language and Information (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10849-009-9105-x
03B45: Modal logic (including the logic of norms)
68T27: Logic in artificial intelligence
03B42: Logics of knowledge and belief (including belief change)
68T42: Agent technology and artificial intelligence
Related Items
Unnamed Item, On the Reconciliation of Logics of Agency and Logics of Event Types, A logical analysis of instrumentality judgments: means-end relations in the context of experience and expectations, A STIT logic for reasoning about social influence, Quantified temporal alethic boulesic doxastic logic, Complexity results of STIT fragments, A dynamic logic of agency. II: Deterministic \({\mathcal{DLA}}\), coalition logic, and game theory, Blame it on me, Choice-driven counterfactuals, Weighted modal logic in epistemic and deontic contexts, Generalizing deontic action logic, Epistemic GDL: a logic for representing and reasoning about imperfect information games, A modal logic of epistemic games, Alternating-Time Temporal Announcement Logic, Ten Problems of Deontic Logic and Normative Reasoning in Computer Science
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A logic of intention and attempt
- Alternative axiomatics and complexity of deliberative STIT theories
- Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
- The deliberative stit: A study of action, omission, ability, and obligation
- A dynamic logic of agency. II: Deterministic \({\mathcal{DLA}}\), coalition logic, and game theory
- On the logic of cooperation and propositional control
- Action and knowledge in alternating-time temporal logic
- The logic of knowledge based obligation
- Embedding Alternating-time Temporal Logic in Strategic Logic of Agency
- Alternating-time temporal logic
- A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’
- Constructive knowledge: what agents can achieve under imperfect information
- A Modal Logic for Coalitional Power in Games