A dynamic logic of agency. II: Deterministic \({\mathcal{DLA}}\), coalition logic, and game theory

DOI10.1007/s10849-009-9104-yzbMath1211.03039OpenAlexW2045282924MaRDI QIDQ1959225

Emiliano Lorini

Publication date: 6 October 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-9104-y

zbMATH Keywords

game theoryreasoning about actionscoalition logicagent preferencescoalition capabilitiesjoint actions

Mathematics Subject Classification ID

Applications of game theory (91A80) 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 (8)

From self-regarding to other-regarding agents in strategic games: a logical analysis ⋮ Deontic logic for strategic games ⋮ Blame it on me ⋮ A dynamic logic of agency. I: STIT, capabilities and powers ⋮ Embedding Coalition Logic in the Minimal Normal Multimodal Logic with Intersection ⋮ Reasoning about Joint Action and Coalitional Ability in K n with Intersection ⋮ Representing and reasoning about game strategies ⋮ A modal logic of epistemic games

Cites Work

• Everything else being equal: a modal logic for ceteris paribus preferences
• A dynamic logic of agency. I: STIT, capabilities and powers
• On the logic of cooperation and propositional control
• Alternating-time temporal logic
• Model Checking Strategic Equilibria
• Dynamic logic of preference upgrade
• Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences All Together
• A Modal Logic for Coalitional Power in Games
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A dynamic logic of agency. II: Deterministic \({\mathcal{DLA}}\), coalition logic, and game theory