This page is maintained by Valentin Goranko. Last update: 04/04/2016, 18.30
(The content of the course will be finalised after the beginning of the course, depending on the actual composition of the audience)
Week / session  Date  Main Topics  Recommended radings  Supplementary readings 
Slides  Selected exercises  Assignments and deadlines 

05 / 1  01/02  Introduction to the course. Brief history and philosophical origins of modal logic. Modes of truth, modalities and a spectrum of modal logics. Necessary and possible truths. Alethic modal logics. Some important modal principles and systems of modal logic.

R. Ballarin, Modern Origins of Modal Logic, Stanford Encyclopedia of Philosophy James Garson, Modal Logic, Stanford Encyclopedia of Philosophy. Eric Pacuit, Lecture notes on modal Logic, Sect.1, 2 Chapters 1.2 of the book "Modal Logic for Open Minds" by Johan van Benthem Sten Lindström & Krister Segerberg, Modal Logic and Philosophy, chapter in: P. Blackburn & J. van Benthem (eds.), Handbook of Modal Logic. Elsevier (2007), Section 1 (Alletic modal logic): subsection 1.1. 
Ed Zalta, Basic Concepts of Modal Logic, Lecture notes, CSLI, Stanford University, Ch. 1,2. Introductions to Part III and chapters 1218 of the 02/02/2010 draft of the book "Modal Logic for Open Minds" by Johan van Benthem here). P. Blackburn and J. van Benthem, Modal Logic: a Semantic perspective, Sections 1,2

posted on Mondo 
posted on Mondo 

06 / 2  08/02  Basics of the relational (possible worlds) semantics. Truth and validity of modal formulae. Standard translation of modal formulae to firstorder logic. Frame definability and correspondence. Semantic and deductive approaches to modal logics.

Eric Pacuit, Lecture notes on modal Logic, Sections 1,2,4 James Garson, Modal Logic, Stanford Encyclopedia of Philosophy. Chapter 2 of the book Modal Logic for Open Minds by Johan van Benthem Ed Zalta, Basic Concepts of Modal Logic, Lecture notes, CSLI, Stanford University, Ch. 3

Handbook of Modal Logic. Elsevier (2007)(available electronically from the university library), Chapters: P. Blackburn and J. van Benthem, Modal Logic: a Semantic perspective and M. Fitting, Modal Proof Theory. Ed Zalta, Basic Concepts of Modal Logic, Lecture notes, CSLI, Stanford University, Ch. 4,5. Sara Negri, Proof theory for modal logic P. Needham, Making TheoremProving in Modal Logic Easy

posted on Mondo 
posted on Mondo 

08 / 3  22/02 
Reasoning about knowledge and beliefs. Singleagent epistemic modal logics. Some paradoxes of knowledge and knowability. Introduction to multiagent epistemic logics. 
Chapter 12 of the book "Modal Logic for Open Minds" by Johan van Benthem (available from the SU library) Roy Sorensen, Epistemic Paradoxes, Stanford Encyclopedia of Philosophy 
. V. Hendricks and J. Symons, Epistemic Logic, Stanford Encyclopedia of Philosophy, Section 1 Rod Girle, Modal Logics and Philosophy, McGillQueen's University Press, 2nd ed., 2009, Ch.12, Epistemic logic, pp. 178199 (available from the SU library) B. Brogaard and J. Salerno, Fitch's Paradox of Knowability, Stanford Encyclopedia of Philosophy

posted on Mondo 
posted on Mondo 

08 / 4  25/02  Multiagent epistemic logics with individual, group, distributed, and common knowledge. Multiagent epistemic models and formal HintikkaKripke semantics for multiagent epistemic logics. Modelling, formalising and solving some epistemic puzzles and problems.

Eric Pacuit. Dynamic Epistemic Logic I: Logics of Knowledge and Belief. Philosophy Compass, 8:9, pgs. 798  814, 2013. Sections 1,2. Chapter on Epistemic Logic from the book "Dynamic Epistemic Logic" by H. van Ditmarcsh, W. van der Hoek and B. Kooi

V. Hendricks and J. Symons, Epistemic Logic, Stanford Encyclopedia of Philosophy Chapter on Epistemic logic: knowledge and belief from the book Modalities and Multimodalities by W. Carnielli and C. Pizzi

posted on Mondo 
posted on Mondo 
Assignment 1 posted on Mondo 
09 / 5  29/02  Introduction to dynamic epistemic logics. Public and private announcements and epistemic model updates. Reasoning about beliefs and doxastic modal logics. 
Eric Pacuit. Dynamic Epistemic Logic I: Logics of Knowledge and Belief. Philosophy Compass, 8:9, pgs. 798  814, 2013. Sections 3,4 Eric Pacuit. Dynamic Epistemic Logic II: Logics of Information Change. Philosophy Compass, 8:9, pgs. 815  833, 2013.

J. Gerbrandy , The Surprise Examination in Dynamic Epistemic Logic, Synthese, Vol. 155, No. 1 (Mar., 2007), pp. 2133 For more supplementary readings, see below. 
posted on Mondo

posted on Mondo


10 / 6  07/03  Reasoning about time.Tense and modality. Historical necessity and Diodorus' Master Argument. Variety of temporal models. Prior's basic temporal logic and some extensions. Linear time temporal logics.

Valentin Goranko and Antony Galton, Temporal Logic, Stanford Encyclopedia of Philosophy Peter Øhrstrøm and Per Hasle, Future Contingents, Stanford Encyclopedia of Philosophy

B. Jack Copeland, Arthur Prior, Stanford Encyclopedia of Philosophy J. van Benthem, Tense logic and time. Notre Dame J. Formal Logic 25 (1984), no. 1, 116.

posted on Mondo

posted on Mondo

Submission of Assignment 1 closed 
11 / 7  14/03  The linear time temporal logic LTL. Derivation of Diodorus' Master Argument. Models of branching time and historical necessity. The Ockhamist and the Peircean branching time temporal logics.

Valentin Goranko and Antony Galton, Temporal Logic, Stanford Encyclopedia of Philosophy

Jorge Luis Borges, The Garden of Forking Paths, 1941 A.N. Prior. Time and Determinism, and The Search for the Diodorean Modal System, in: Past, Present and Future. Oxford University Press, 1967 (available electronically from the SU library) Thomas M ̈uller, Time and Determinism, J Philos Logic (2015) 44:729–740. For more supplementary readings, see below. 
posted on Mondo

posted on Mondo

Assignment 2 posted on Mondo 
12 / 8  21/03  Models and logics of actions and agency. `Seeing to it That' (STIT) theory and variations. Some problems and theories relating actions, knowledge and ability. 
John Horty, Agency and Deontic Logic, Oxford UP, 2001. Chapters 1,2. (available electronically from the SU library)

Krister Segerber, The Logic of Action, Stanford Encyclopedia of Philosophy Nuel Belnap, Michael Perloff and Ming Xu, Facing the Future: Agents and Choices in Our Indeterminist World. Oxford University Press, 2001. (available electronically from the SU library) Brian Chellass, Time and Modality in the Logic of Agency, Studia Logica, vol 51. 1992, pp. 485517 Mark A. Brown: On the logic of ability. J. Phil. Logic 17(1), 1988, pp. 126 For more supplementary readings, see below. 
posted on Mondo

posted on Mondo


13 / 9  30/03  Reasoning about obligations and permissions. Deontic logics and deontic paradoxes. 
Paul McNamara, Deontic Logic, Stanford Encyclopedia of Philosophy Pablo Navarro and Jorge Rodríguez, Deontic Logic and Legal Systems, Cambridge University Press, 2014, Chapters 1 (1.31.5), 2 (available electronically from the SU library) John Horty, Agency and Deontic Logic, Oxford UP, 2001, Chapters 3, 4. (available electronically from the SU library)

G. H. von Wright, Deontic Logic, Mind, Vol. 60, No. 237, 1951, pp. 115. G. H. von Wright, On the Logic of Norms and Actions, in: New Studies in Deontic Logic Norms, Actions, and the Foundations of Ethics, R. Hilpinen (Ed.), Synthese, 1981 (available electronically from the SU library) D. Føllesdal and R. Hilpinen. “Deontic Logic: An Introduction.” In: Deontic Logic: Introductory And Systematic Readings, R. Hilpinen (Ed), Reidel, Dordrecht, 1971, pp 1–35. (available electronically from the SU library) Lennart Åqvist, “Deontic Logic.” In Gabbay and Guenthner, 2nd ed. vol. 8(2002), pp147–264. (First edition 1984) (also available electronically from the SU library) J. van Benthem, Minimal deontic logics, Bulletin of the Section of Logic 8 (1), pp.3641 (1979)

posted on Mondo 
posted on Mondo 

14 /10  04/04  Introduction to firstorder modal logics. Formal semantics and philosophical discussion. Interactions between modality and quantification. Logics with constant and variable domains. Firstorder temporal and epistemic logics: technical and philosophical discussion and some applications. 
Melvin Fitting and Richard L. Mendelsohn, Firstorder modal logic, Kluwer, Synthese Library, 1998, Chapter 4, (available electronically from the SU library) Sten Lindström & Krister Segerberg, Modal Logic and Philosophy, chapter in: P. Blackburn & J. van Benthem (eds.), Handbook of Modal Logic. Elsevier (2007), Section 1: Alletic modal logic. (available electronically from the SU library) James Garson, Modal Logic, Stanford Encyclopedia of Philosophy.

Melvin Fitting and Richard L. Mendelsohn, Firstorder modal logic, Kluwer, Synthese Library, 1998, Chapters 612, (available electronically from the SU library) George Hughes and Max Cresswell, A new introduction to modal logic, Routledge, 1996. (available electronically from the SU library) Torben Braüner and Silvio Ghilardi, Firstorder modal logic, Chapter 9 in: Handbook of Modal Logic, Elsevier, 2007, pp. 549620(available electronically from the SU library) Ted Sider, Logic for Philosophy, OUP, 2010, Chapter 9 (available from the SU library)

posted on Mondo 
posted on Mondo 
Submission of Assignment 2 
14 /11 
06/04 


Assignment 3 to be posted  
16 
21/04  Submission of Assignment 3 
Lecture notes, slides and other reading material will be provided on Mondo or linked to this page on an ongoing basis.
General on philosophical logic
On generic modal logics:
On epistemic logics, dynamic epistemic logics, logics of belief and belief revision:
On temporal logics:
On logics for ability, actions, agency and STIT:
On deontic logics:
On firstorder modal ogics:
List of exercises will be provided on a weekly basis, usually taken from the lecture notes and handouts. Students are advised to do as many exercises on each topic as they need to master it. Solutions or hints to some selected exercises will be provided on Mondo and will be discussed in the discussion time after the lectures.
There will be 3 mandatory written assignments during the course, each consisting of a set of exercises. The assignments will be provided about 2 weeks before the submission deadline. Students must do these exercises individually and prepare written reports with their solutions.
The assignments will be checked and corrected by the lecturer, returned to the students for feedback, and then returned back to the lecturer. The average of the assignments grades will form the final grade.
If you have any queries on the information above, talk to me or send me an email.