Using STIT theory to talk about strategies
Publication date
2016-01-10
Authors
Broersen, Jan
Herzig, Andreas
Editors
van Benthem, Johan
Ghosh, Sujata
Verbrugge, Rink
Advisors
Supervisors
Document Type
Part of book
Metadata
Show full item recordCollections
License
taverne
Abstract
This chapter gives an overview of logical theories of ‘seeing-to-it-that’, commonly abbreviated stit, and focusses on the notion of ‘strategy’ as used in their semantics. The chapter covers both ‘one-step’ strategies (i.e., atomic actions) and long-term strategies and explains how they give semantics to different stit languages. Furthermore, the chapter discusses how extensions with epistemic operators can be used to clarify the problem of uniform strategies. Finally, it is shown how strategic stit theories disambiguate some seemingly paradoxical observations recently made in the context of logics of strategic ability (ATL).
Keywords
Logics of agency, Extensive form games, Theory of action, Processes and strategies, Taverne
Citation
Broersen, J M & Herzig, A 2016, Using STIT theory to talk about strategies. in J van Benthem, S Ghosh & R Verbrugge (eds), Models of Strategic Reasoning : Logics, Games, and Communities. 1 edn, Lecture Notes in Computer Science, vol. 8972, Springer, Berlin, pp. 137-173. https://doi.org/10.1007/978-3-662-48540-8_5