Modal and Temporal Logics, a reading course

Mondays at 10.15, room S4.

Presentations:

• 17 March. Introduction to Modal Logic. Chapters 2 and 3 of "An Introduction to Modal Logic" by Hughes and Cresswell. Jan Smith.
• 22 March. Introduction to the possible world semantics. Chapter 3 of the book by Hughes and Cresswell. Carlos Gonzalia.
• 29 March. Modal logics for knowledge and belief. Koen Claesson.
• 12 April ""Sometime" is sometimes "Not never"" by Lamport. Mia Indrika.
• 19 April. "A completeness proof in modal logic" by Kripke. Martin Weichert.
• 26 April. ""The temporal logic of branching time" by Ben-Ari, Pnueli and Manna. Qiao Haiyan.
• 3 May. Provability logic. Daniel Vallström
• 17 May. The TRIO system. Carl-Johan Block.
• 31 May. "The temporal logic of actions" by Lamport, Dennis Björklund.