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

DOI10.1007/s10849-009-9105-xzbMath1189.03025OpenAlexW2026284755MaRDI 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 theorylogic of agencycoalition logicSTIT

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Agent technology and artificial intelligence (68T42)

Related Items

Choice-driven counterfactuals, Quantified temporal alethic boulesic doxastic logic, Ten Problems of Deontic Logic and Normative Reasoning in Computer Science, A STIT logic for reasoning about social influence, Weighted modal logic in epistemic and deontic contexts, Generalizing deontic action logic, Complexity results of STIT fragments, A logical analysis of instrumentality judgments: means-end relations in the context of experience and expectations, Unnamed Item, A dynamic logic of agency. II: Deterministic \({\mathcal{DLA}}\), coalition logic, and game theory, Epistemic GDL: a logic for representing and reasoning about imperfect information games, Blame it on me, Alternating-Time Temporal Announcement Logic, On the Reconciliation of Logics of Agency and Logics of Event Types, A modal logic of epistemic games

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item