Top

Philosophical Logic II

Last update: 01/11/2021, 16.00
Contact: V.Goranko

Lecturer: Valentin Goranko

Departmental course page

Schedule

Detailed course plan:

Not a final version. Updates will be made before and during the course.

Lecture 1

Date 02/09

Main Topics

Introduction to the course.

Revision of Kripke models and possible worlds semantics for modal logics.

Recommended readings

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

Supplementary readings

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)

Online tools:

For more practicing and fun with possible worlds semantics, go to this Modal Logic Playground

Slides posted on Athena

Introduction to the course

Revision of Kripke models and possible worlds semantics for modal logics

Exercises and selected solutions

Posted on Athena

Assignments and deadlines

Lecture 2

Date 06/09

Main Topics

Bisimulations. Bisimulation games and bisimulation invariance of modal formulae.

Recommended readings

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

Supplementary readings

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.

Slides posted on Athena:

Bisimulations. Bisimulation games and bisimulation invariance of modal formulae.

Exercises and selected solutions

Posted on Athena

Assignments and deadlines

Lecture 3

Date 09/09

Main Topics

Deductive systems for normal modal logics.

Axiomatic systems and semantic tableaux.

Recommended readings

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

Supplementary readings

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)

Slides (posted on Athena)

Deductive systems for normal modal logics.

Axiomatic systems and semantic tableaux.

Exercises and selected solutions

Posted on Athena

Assignments and deadlines

Lecture 4

Date 16/09

Main Topics

Canonical models and completeness theorems for normal modal logics.

Finite model property and decidability.

Recommended readings

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

Supplementary readings

Ed Zalta, Basic Concepts of Modal Logic, Lecture notes, CSLI, Stanford University, Chapters 4(§4-§6), 5

Slides (posted on Athena)

Canonical models and completeness theorems for some basic modal logics.

Finite model property and decidability.

Exercises and selected solutions

Posted on Athena

Assignments and deadlines

Lecture 5

Date 20/09

Main Topics

Revision on epistemic logics.

Public and private announcements. Epistemic model updates.

Recommended readings

R. Fagin, J. Halpern, Y. Moses, M. Vardi, Reasoning About Knowledge, MIT Press, 1995. Chapters 1,2; pages 1-45

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

H. van Ditmarsch, J.Y. Halpern, W. van der Hoek, B. Kooi "An Introduction to Logics of Knowledge and Belief ". Chapter 1 in: Handbook of Epistemic Logic, College Publications, 2015, pp. 1-51.

Supplementary readings

H. van Ditmarcsh, W. van der Hoek and B. Kooi, Dynamic Epistemic Logic, Springer, Synthese Library series, 2008, Ch. 5,6

Online tools

Hintikka's world: an animated website for multi-agent epistemic logic. Lots of examples and exercises on epistemic puzzles.

Slides (to be posted on Athena)

Revision on epistemic logics.

Exercises and selected solutions: to be posted on Athena

Assignments and deadlines

Lecture 6

Date 23/09

Main Topics

Epistemic actions and epistemic model updates.

Introduction to dynamic epistemic logics.

Recommended readings

H. van Ditmarcsh, W. van der Hoek and B. Kooi, Playing Cards with Hintikka - An Introduction to Dynamic Epistemic Logic

Eric Pacuit. Dynamic Epistemic Logic II: Logics of Information Change. Philosophy Compass, 8:9, pgs. 815 - 833, 2013.

H. van Ditmarcsh, W. van der Hoek and B. Kooi, Dynamic Epistemic Logic, Springer, Synthese Library series, 2008, Ch. 4

Supplementary readings

H. van Ditmarcsh, W. van der Hoek and B. Kooi, Dynamic Epistemic Logic, Springer, Synthese Library series, 2008, Ch. 5,6

J. Gerbrandy , The Surprise Examination in Dynamic Epistemic Logic, Synthese, Vol. 155, No. 1 (Mar., 2007), pp. 21-33

Online tools

Hintikka's world: an animated website for multi-agent epistemic logic. Lots of examples and exercises on epistemic puzzles.

Slides (to be posted on Athena)

Introduction to dynamic epistemic logic

Exercises and selected solutions (to be posted on Athena)

Assignments and deadlines

Assignment 1 posted. Deadline: October 11

Lecture 7

Date 28/09

Main Topics

Revision on temporal logics.

Lnear and branching time temporal logics.

Recommended readings

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)

P. Øhrstrøm and Per Hasle, Temporal Logic: From Ancient Ideas to Artificial Intelligence. Kluwer, 1995. Reprinted by Springer. Chapters 2.1, 2.2

J. van Benthem, Tense logic and time. Notre Dame J. Formal Logic 25 (1984), no. 1, 1--16.

Supplementary readings

Yde Venema, Temporal Logic, chapter in: Lou Goble (ed), Blackwell Guide on Philosophical Logic, Blackwell Publishers, 2001, pp 203-211

Rob Goldblatt, Logics of Time and Computations, CSLI pubblications, 2nd revised and expanded edition, 1992. Chapters 6, 8.

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.

Slides (posted on Athena)

Revision on temporal logics.

Linear and branching time temporal logics.

Exercises and selected solutions: posted on Athena

Assignments and deadlines

Lecture 8

Date 04/10

Main Topics

Branching time temporal logics.

Modal logics of agency. `Seeing to it That' (STIT) theory.

Recommended readings

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)

P. Øhrstrøm and Per Hasle, Temporal Logic: From Ancient Ideas to Artificial Intelligence. Kluwer, 1995. Reprinted by Springer. Chapters 2.1, 2.2

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)

John Horty and Nuel Belnap, The deliberative stit: a study of action, omission, ability, and obligation. J. of Phil. Logic, vol. 24 (1995), pp. 583 - 644

Supplementary readings

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

Slides (to be posted on Athena)

Branching time temporal logics.

Modal logics of actions and agency. `Seeing to it That' (STIT) theory.

Exercises and selected solutions: posted on Athena

Assignments and deadlines

Lecture 9

Date 08/10

Main Topics

Logics for strategic reasoning in multi-agent systems with perfect information.

Recommended readings

M. Pauly, A Modal Logic for Coalitional Power in Games, Journal of Logic and Computation, Volume 12, Issue 1, 2002, pp. 149-166.

M. Pauly and W. van der Hoek, Modal logic for games and information, in: Handbook of Modal Logic, Elsevier, 2007, pp 1077-1148

Ågotnes, V. Goranko, W. Jamroga, and M. Wooldridge: Knowledge and Ability, chapter in: Handbook of Epistemic Logic, College Publications, 2015, pp. 543-589. Chapter 9

Supplementary lecture notes (uploaded on Athena), Chapter 7.

Supplementary readings

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.

Slides (to be posted on Athena)

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

Assignments and deadlines

Submission of assignment 1: end of October 14

Lecture 10

Date 15/10

Main Topics

Temporal and epistemic logics for strategic reasoning in multi-agent systems with imperfect information.

Recommended readings

Ågotnes, V. Goranko, W. Jamroga, and M. Wooldridge: Knowledge and Ability, chapter in: Handbook of Epistemic Logic, College Publications, 2015, pp. 543-589. Chapter 9

Supplementary readings

W. van der Hoek and M.J.W. Wooldridge, Cooperation, Knowledge, and Time: Alternating- time Temporal Epistemic Logic and its Applications, Studia Logica,75:1, pp. 125 – 157, 2003.

Slides (to be posted on Athena)

Temporal and epistemic logics for strategic reasoning in multi-agent systems with imperfect information.

Exercises and selected solutions (to be posted on Athena)

Assignments and deadlines

Assignment 2 to be posted

Lecture 11

Date 28/10

Main Topics

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.

Recommended readings

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)

Supplementary readings

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

Horacio Arló-Costa and Eric Pacuit, First-Order Classical Modal Logic, Studia Logica, 2006, 84(2):171-210

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)

Nuel Belnap and Thomas Mueller, CIFOL: Case-Intensional First Order Logic (I). Toward a Theory of Sorts, J. Philos Logic (2014) 43:393–437

Slides (to be posted on Athena)

Introduction to first-order modal logics (FOML).

Exercises and selected solutions (to be posted on Athena)

Exercises on first-order modal logics

Assignments and deadlines

Lecture 12

Date 01/11

Main Topics

First-order epistemic logics.

First-order temporal logics.

Conclusion of the course.

Recommended readings

R. Fagin, J. Halpern, Y. Moses, M. Vardi, Reasoning About Knowledge, MIT Press, 1995. Chapter 3.7 pages 80-91.

Adam Grove, Naming and identity in epistemic logic. Part II: a first-order logic for naming, Artificial Intelligence 74 (1995), pp. 31l-350

Valentin Goranko and Antje Rumberg, Temporal Logic, Stanford Encyclopedia of Philosophy, Section 8

Supplementary readings

Jaakko Hintikka, Knowledge and Belief - An Introduction to the Logic of the Two Notions, Cornell UP, 1962, Ch.6 (available from Athena)

F. Belardinelli and A. Lomuscio, Quantified epistemic logics for reasoning about knowledge in multi-agent systems, Artificial Intelligence 173 (2009), pp. 982–1013

Fred Kröger, First-Order Temporal Logic, Chapter in: Temporal Logic of Programs, EATCS Monographs on Theoretical Computer Science, vol. 8, pp 43-53

Slides (to be posted on Athena)

Introduction to first-order epistemic logics (FOEL).

Introduction to first-order temporal logics (FOTL).

Exercises and selected solutions (to be posted on Athena)

Exercises on first-order epistemic logics

Exercises on first-order temporal logics

Assignments and deadlines

Submission of assignment 2: November 08

Final meeting

Date 11/11

Feedback on assignment 2 and final consultation for the exam.

Course details

Schedule

Departmental course page and course plan

Departmental course page


Link to course plan

Consulting time

By appointment

Lecture notes, handouts, and other reading material

Lecture notes, slides and other reading material will be provided on Athena or linked to this page on an ongoing basis.

Exercises

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.

Assignments and final grade

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.

Additional readings and exercises

Readings

General on philosophical logic

On generic modal logics

On dynamic epistemic logics

On temporal logics

On logics for ability, actions, agency and STIT

On first-order modal ogics

Queries

If you have any queries on the information above, talk to me or send me an email.

Mail to V.Goranko