A dynamic logic of agency. I: STIT, capabilities and powers

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

zbMATH Keywords

game theory; logic of agency; coalition logic; STIT

Mathematics Subject Classification ID

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