A STIT-Extension of ATL

DOI10.1007/11853886_8zbMath1152.68597OpenAlexW1479837620MaRDI QIDQ3533122

Andreas Herzig, Nicolas Troquard, Jan M. Broersen

Publication date: 30 October 2008

Published in: Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11853886_8

Mathematics Subject Classification ID

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

Related Items (11)

Combinations of \textit{stit} with \textit{ought} and \textit{know} ⋮ On Satisfiability in ATL with Strategy Contexts ⋮ Combinations of stit and actions ⋮ Counterfactual and seeing-to-it responsibilities in strategic games ⋮ DOING WITHOUT ACTION TYPES ⋮ A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’ ⋮ Making a start with the stit logic analysis of intentional action ⋮ Living up to one's commitments: Agency, strategies and trust ⋮ Actions as events ⋮ Deontic epistemic stit logic distinguishing modes of mens rea ⋮ A Complete STIT Logic for Knowledge and Action, and Some of Its Applications

This page was built for publication: A STIT-Extension of ATL