@inbook{5b1e620a25e742eb8c77563752ecd89a,
title = "Using STIT theory to talk about strategies",
abstract = "This chapter gives an overview of logical theories of {\textquoteleft}seeing-to-it-that{\textquoteright}, commonly abbreviated stit, and focusses on the notion of {\textquoteleft}strategy{\textquoteright} as used in their semantics. The chapter covers both {\textquoteleft}one-step{\textquoteright} 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",
author = "J.M. Broersen and Andreas Herzig",
year = "2016",
month = jan,
day = "10",
doi = "10.1007/978-3-662-48540-8\_5",
language = "English",
isbn = "978-3-662-48539-2",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "137--173",
editor = "\{van Benthem\}, Johan and Sujata Ghosh and Rink Verbrugge",
booktitle = "Models of Strategic Reasoning",
edition = "1",
}