Reasoning about Actions Meets Strategic Logics

DOI10.1007/978-3-642-40948-6_13zbMath1405.68355OpenAlexW1828503850MaRDI QIDQ2859103

Andreas Herzig, Emiliano Lorini, Dirk Walther

Publication date: 6 November 2013

Published in: Logic, Rationality, and Interaction (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-40948-6_13

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Temporal logic (03B44)

Related Items (6)

Reasoning About Strategies ⋮ Augmenting ATL with strategy contexts ⋮ Formal modelling and verification of probabilistic resource bounded agents ⋮ A logic of goal-directed knowing how ⋮ Blame it on me ⋮ Refining strategic ability in alternating-time temporal logic

This page was built for publication: Reasoning about Actions Meets Strategic Logics