Using STIT theory to talk about strategies

DOI10.1007/978-3-662-48540-8_5MaRDI QIDQ2817410zbMATH OpenOpenAlexFDO

Authors Andreas Herzig, Jan Broersen

Publication date 30 August 2016

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-48540-8_5

zbMATH Keywords

extensive form gameslogics of agencyprocesses and strategiestheory of action

Mathematics Subject Classification ID

Temporal logic (03B44) Games in extensive form (91A18) Rationality and learning in game theory (91A26)

Recommendations

• A STIT-Extension of ATL
• In the realm of agents
• From coalition logic to STIT
• Stit logics, games, knowledge, and freedom
• Alternative axiomatics and complexity of deliberative STIT theories

Cited in

(9)

• Choice-driven counterfactuals
• A logic of goal-directed knowing how
• Standalone Tactics Using OpenTheory
• Beyond knowing that: a new generation of epistemic logics
• A STIT-Extension of ATL
• scientific article; zbMATH DE number 2079773 (Why is no real title available?)
• DOING WITHOUT ACTION TYPES
• Bringing de re and de dicto into STIT logic
• Responsibility in multi-step decision schemes

This page was built for publication: Using STIT theory to talk about strategies

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2817410)