Last update: 01/11/2021, 16.00
Contact: V.Goranko
Date 02/09
Introduction to the course.
Revision of Kripke models and possible worlds semantics for modal logics.
Richard Zach, Boxes and Diamonds, Open Logic Project, Chapters 1, 2.1-2.6, 3
Eric Pacuit, Lecture notes on modal Logic, Sect.1, 2, 3.1, 4
Stefan Wölfl, Introduction to Modal Logics, Lecture notes (July 22, 2015), Chapters 1, 2, 3.1-3.3
Gary Hardegree, Introduction to Modal Logic, Ch.1,3,4
Ed Zalta, Basic Concepts of Modal Logic, Lecture notes, CSLI, Stanford University, Chapters 1, 2, 3, 4(§1-§3)
Johan van Benthem, "Modal Logic for Open Minds", Chapters 1. 2
James Garson, Modal Logic, Stanford Encyclopedia of Philosophy, Sections 6-9
P. Blackburn and J. van Benthem, Modal Logic: a Semantic perspective, Sections 1,2. Chapter in Handbook of Modal Logic. Elsevier (2007) (available electronically from the university library)
For more practicing and fun with possible worlds semantics, go to this Modal Logic Playground
Introduction to the course
Revision of Kripke models and possible worlds semantics for modal logics
Posted on Athena
Date 06/09
Bisimulations. Bisimulation games and bisimulation invariance of modal formulae.
Eric Pacuit, Lecture notes on modal Logic, Section 3
P. Blackburn and J. van Benthem, Modal Logic: a Semantic perspective, Chapter in Handbook of Modal Logic. Elsevier (2007), Section 3.
Stefan Wölfl, Introduction to Modal Logics, Lecture notes (July 22, 2015), Section 2.7
Johan van Benthem, "Modal Logic for Open Minds", Chapter 3
Valentin Goranko and Martin Otto, Model theory of Modal Logic, chapter in: Handbook of Modal Logic. Elsevier (2007), Section 2.
Bisimulations. Bisimulation games and bisimulation invariance of modal formulae.
Posted on Athena
Date 09/09
Deductive systems for normal modal logics.
Axiomatic systems and semantic tableaux.
Richard Zach, Boxes and Diamonds, Open Logic Project, Chapters 3, 6.
Stefan Wölfl, Introduction to Modal Logics, Lecture notes (July 22, 2015), Chapter 5.
Sara Negri, Proof theory for modal logic, Philosophy Compass, vol. 6, 2011, pp. 523-538. Sections 1-4.
Melvin Fitting, Prefixed Tableaus and Nested Sequents, Annals of Pure and Applied Logic, vol. 163 (2012), pp. 291–313. Sections 1-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 Melvin Fitting, Modal Proof Theory, Sections 1-7 (selectively).
Melvin Fitting, Prefixed Tableaus and Nested Sequents, Annals of Pure and Applied Logic, vol. 163 (2012), pp. 291–313. Sections 4-7
Rajeev Goré, Tableau Methods for Modal and Temporal Logics, in: Handbook of Tableau Methods, pp 297-396. Sections 1-4.6, 4.14
Dag Prawitz, Natural Deduction: A Proof-Theoretical Study, 1965. Chapter VI. (Re-published by Dover Publications, 2006. Available from SU Frescatibiblioteket and Matematiska biblioteket)
Deductive systems for normal modal logics.
Axiomatic systems and semantic tableaux.
Posted on Athena
Date 16/09
Canonical models and completeness theorems for normal modal logics.
Finite model property and decidability.
Richard Zach, Boxes and Diamonds, Open Logic Project, Chapter 4.
Stefan Wölfl, Introduction to Modal Logics, Lecture notes (July 22, 2015), Chapters 3, 4
Ed Zalta, Basic Concepts of Modal Logic, Lecture notes, CSLI, Stanford University, Chapters 4(§4-§6), 5
Canonical models and completeness theorems for some basic modal logics.
Finite model property and decidability.
Posted on Athena
Date 20/09
Revision on epistemic logics.
Public and private announcements. Epistemic model updates.
Chapter 12 of the book "Modal Logic for Open Minds" by Johan van Benthem (available from the SU library)
Chapter on Epistemic Logic from the book "Dynamic Epistemic Logic" by H. van Ditmarcsh, W. van der Hoek and B. Kooi, Ch 2.1, 2.2
Revision on epistemic logics.
Date 23/09
Epistemic actions and epistemic model updates.
Introduction to dynamic epistemic logics.
Eric Pacuit. Dynamic Epistemic Logic II: Logics of Information Change. Philosophy Compass, 8:9, pgs. 815 - 833, 2013.
Introduction to dynamic epistemic logic
Assignment 1 posted. Deadline: October 11
Date 28/09
Revision on temporal logics.
Lnear and branching time temporal logics.
Valentin Goranko and Antje Rumberg, Temporal Logic, Stanford Encyclopedia of Philosophy
John Burgess, Philosophical Logic, Princeton University Press, 2009. Ch.2: Temporal Logic (2.1-2.8)
J. van Benthem, Tense logic and time. Notre Dame J. Formal Logic 25 (1984), no. 1, 1--16.
Burgess, J., 1984, “Basic tense logic”, in Gabbay and Guenthner (eds.), Handbook of Philosophical Logic (Volume 2), Dordrecht: Reidel, pp. 89–133. New revised edition in: Handbook of Philosophical Logic , 2nd edition, Volume 7, Gabbay and Guenthner (eds.) (2002), pp. 1–42.
Revision on temporal logics.
Linear and branching time temporal logics.
Date 04/10
Branching time temporal logics.
Modal logics of agency. `Seeing to it That' (STIT) theory.
Valentin Goranko and Antje Rumberg, Temporal Logic, Stanford Encyclopedia of Philosophy
John Burgess, Philosophical Logic, Princeton University Press, 2009. Ch.2: Temporal Logic (2.1-2.8)
Nuel Belnap & Michael Perloff, Seeing to it that: a canonical form for agentives, Theoria 54 (3):175-199 (1988). A corrected version re-published in: Knowledge Representation and Defeasible Reasoning, (Loui Kyberg, Jr. and Carlson (eds.)), Kluwer, Dordrecht, 1990, pp. 167–90. (available electronically from the SU library)
Burgess, J., 1984, “Basic tense logic”, in Gabbay and Guenthner (eds.), Handbook of Philosophical Logic (Volume 2), Dordrecht: Reidel, pp. 89–133. New revised edition in: Handbook of Philosophical Logic , 2nd edition, Volume 7, Gabbay and Guenthner (eds.) (2002), pp. 1–42.
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 Chellas, Time and Modality in the Logic of Agency, Studia Logica, vol 51. 1992, pp. 485-517
Mark A. Brown: On the logic of ability. J. Phil. Logic 17(1), 1988, pp. 1-26
Jan M. Broersen, Andreas Herzig: Using STIT Theory to Talk About Strategies. in: Models of Strategic Reasoning: Logics, Games and Communities, J. van Benthem, S. Ghosh, R. Verbrugge (eds.), Springer, LNCS/FoLLI series, vol. 8972, 2015, pp. 137-173. Sections 1, 2, 3.1
Branching time temporal logics.
Modal logics of actions and agency. `Seeing to it That' (STIT) theory.
Date 08/10
Logics for strategic reasoning in multi-agent systems with perfect information.
Supplementary lecture notes (uploaded on Athena), Chapter 7.
S. Demri, V. Goranko, M. Lange: Temporal Logics in Computer Science, CUP, 2016, Chapter 9
R. Alur, T.A. Henzinger, and O. Kupferman. Alternating-time temporal logic. Journal of the ACM 49:672-713, 2002 Sections 1-3.
Nils Bulling, Valentin Goranko, Wojciech Jamroga: Logics for reasoning about strategic abilities in multi-player games, in: Models of Strategic Reasoning: Logics, Games and Communities, J. van Benthem, S. Ghosh, R. Verbrugge (eds.), Springer, LNCS/FoLLI series, vol. 8972, 2015, pp. 93--136.
Sebastian Enqvist and Valentin Goranko, Socially Friendly and Group Protecting Coalition Logics in: Proc. of the 17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS'2018), IFAAMAS publ., 2018.
Logics for strategic reasoning in multi-agent systems with perfect information.
Exercises: Supplementary notes (posted on Athena), Section 8.5, pp 137-140, exercises: 61, 64, 66, 67
Selected solutions: posted on Athena
Submission of assignment 1: end of October 14
Date 15/10
Temporal and epistemic logics for strategic reasoning in multi-agent systems with imperfect information.
Temporal and epistemic logics for strategic reasoning in multi-agent systems with imperfect information.
Assignment 2 to be posted
Date 28/10
Some philosophical problems of the interaction between modality and quantification. First-order modal logics (FOML). Formal semantics of FOML. Possibilist and actualist semantics. Models and logics with constant and variable domains. Barcan formulae.
W. Quine, Three Grades of Modal Involvement, in: the Proceedings of the Xlth Intern. Congress of Philosophy, Brussels, 1953, Volume 14 (Available electronically from the SU library)
R. Ballarin, Quine on intensional entities: Modality and quantification, truth and satisfaction, Journal of Applied Logic 10 (2012) 238–249. (Available on Athena)
Melvin Fitting, First order alethic modal logic, A Companion to Philosophical Logic, Blackwell, 2002, pp. 410--421
Melvin Fitting and Richard L. Mendelsohn, First-order modal logic, Kluwer, Synthese Library, 1998, Chapter 4, 6-12, (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)
George Hughes and Max Cresswell, A new introduction to modal logic, Routledge, 1996. Ch 13, pp 235-255; Ch 15, pp 274-287. (available electronically from the SU library)
M. Cresswell, Rudolf Carnap: Modal Logic, Internet Encyclopedia of Philosophy
R. Carnap, Modalities and Quantification, J. of Symb. Logic, Vol. 11, Nr 2, 1946. (Available on Athena)
James Garson, Modal Logic, Stanford Encyclopedia of Philosophy.
Gary Hardegree, Introduction to Modal Logic, Ch.6,8,9,10
Melvin Fitting, Barcan Both Ways, Journal of Applied Non-Classical Logics, Vol. 9, Issue 2-3, 1999, pp. 329-344.
Ted Sider, Logic for Philosophy, OUP, 2010, (available from the SU library), Chapter 9.
Ed Zalta, Basic Concepts of Modal Logic, Lecture notes, CSLI, Stanford University, Chapter 6
Francesco Belardinelli, Counterpart Semantics for Quantified Modal Logic, 2007
Torben Braüner and Silvio Ghilardi, First-order modal logic, Chapter 9 in: Handbook of Modal Logic, Elsevier, 2007, pp. 549-620 (available electronically from the SU library)
Introduction to first-order modal logics (FOML).
Exercises on first-order modal logics
Date 01/11
First-order epistemic logics.
First-order temporal logics.
Conclusion of the course.
R. Fagin, J. Halpern, Y. Moses, M. Vardi, Reasoning About Knowledge, MIT Press, 1995. Chapter 3.7 pages 80-91.
Valentin Goranko and Antje Rumberg, Temporal Logic, Stanford Encyclopedia of Philosophy, Section 8
Jaakko Hintikka, Knowledge and Belief - An Introduction to the Logic of the Two Notions, Cornell UP, 1962, Ch.6 (available from Athena)
Introduction to first-order epistemic logics (FOEL).
Introduction to first-order temporal logics (FOTL).
Exercises on first-order epistemic logics
Exercises on first-order temporal logics
Submission of assignment 2: November 08
Date 11/11
Feedback on assignment 2 and final consultation for the exam.
By appointment
Lecture notes, slides and other reading material will be provided on Athena or linked to this page on an ongoing basis.
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 and will be discussed in the discussion time before and during the lectures.
There will be 2 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.
If you have any queries on the information above, talk to me or send me an email.
Mail to V.Goranko
