Introduction to Modal Logic 2011-2012

INTRODUCTION TO MODAL LOGIC 2011

(Autumn 2011, ILLC, University of Amsterdam)

Instructor

ALEXANDRU BALTAG

Objectives of Course

To learn to understand the basic techniques of modal logic and its most important applications.

Contents

The course covers the basic notions of modal logic: syntax, relational semantics, models and frames, bisimulations, model theoretic and frame theoretic constructions, completeness. More advanced topics include expressive power and intelligent agency.

Recommended prior knowledge

Knowledge of first order logic (syntax and semantics) and elementary mathematical knowledge and skills.

Registration at

Registration via Studieweb before 8 August 2011 is mandatory.

Format

Lectures and exercise classes.

Study materials

The main textbook, to be referred as BRV, is

Patrick Blackburn, Maarten de Rijke and Yde Venema, Modal Logic, Cambridge University Press, 2002

In addition, I may sometimes use material, referred to as JVB, from

Johan Van Benthem, Modal Logic for Open Minds, CSLI Publications, Stanford, 2010.