Logics of Action, Ability, Knowledge and Obligation

Logics of Action, Ability, Knowledge and Obligation

Jeff Horty (University of Maryland, USA) and Eric Pacuit (University of Maryland, USA)

This course is an introduction to logics for reasoning about time, action, knowledge, ability and obligation. The emphasis of the course will be on understanding the languages and semantics of these logics, and on applying them to model and specify properties of multi-agent systems, game-theoretic scenarios, and philosophical puzzles. In addition, important technical results about the logical systems will be discussed (such as completeness, tableaux, decidability of the satisfiability problem, and model checking). This course is intended for a broad audience with basic knowledge of modal and
temporal logics.