This webpage will be updated daily during the course. Final update: August 26, 2016, 13.55

(NB: the slides linked to this webpage will be removed in early September)

 

A JOURNEY THROUGH THE POSSIBLE WORLDS OF MODAL LOGIC

Lecturer: Valentin Goranko

 

Course given at the 28th European Summer School in Logic, Language and Information (ESSLLI 2016)

 

TENTATIVE PROGRAMME AND COURSE MATERIALS:

(Note some recent changes!)

 

LECTURE 1 (MONDAY, AUGUST 22):

Introduction. Brief history of modal logic. Necessary and possible truths. Alethic modal logics.

Basic generic modal logic: syntax and possible worlds semantics.

SLIDES:

 

 

LECTURE 2 (TUESDAY, AUGUST 23):

Reasoning about knowledge. Single-agent epistemic models and logics.

Some puzzles and paradoxes of knowledge and knowability.

Multi-agent epistemic logics and some applications.

SLIDES:

 

LECTURE 3 (WEDNESDAY, AUGUST 24):

Reasoning about time. Variety of temporal models and logics. Tense and modality.

Historical necessity and Diodorus’ master argument.

SLIDES:

 

 

LECTURE 4 (THURSDAY, AUGUST 25):

Models and logics of branching time.

 

SLIDES:

 

LECTURE 5 (FRIDAY, AUGUST 26):

Modality and quantification. First-order modal logics. Some philosophical problems and paradoxes.

SLIDES: