Pavel Naumov (Claremont McKenna College, USA)
Historically, logicians studied properties of resources, knowledge, and actions using unrelated formal systems. However, these notions are tightly connected in the real world. One needs knowledge and actions to access resources; knowledge is constrained by resources and is achieved through actions; and actions require both resources and knowledge to be successful. Recently, new logical systems emerged that consider interplay between resources, knowledge, and actions in various settings. This introductory-level ESSLLI course will review several such systems and explore the directions for the future research in this area.