Igor Sedlar: Logic in computer science

We look at some applications of logic in computer science. In particular, we'll give an introduction to modal logic and then discuss some of its applications: epistemic logic, dynamic logic, and temporal logic.

 References:

 [1] David Harel, Dexter Kozen, and Jerzy Tiuryn. 2000. Dynamic Logic. MIT Press. DOI:https://doi.org/10.7551/mitpress/2516.001.0001

[2] Michael Huth and Mark Ryan. 2004. Logic in Computer Science. Modelling and Reasoning about Systems (2nd ed.). Cambridge University Press. DOI:https://doi.org/10.1017/cbo9780511810275

[3] Patrick Blackburn, Maarten de Rijke, and Yde Venema. 2001. Modal Logic. Cambridge University Press, Cambridge. DOI:https://doi.org/10.1017/cbo9781107050884

[4] Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi. 1995. Reasoning About Knowledge. MIT Press. DOI:https://doi.org/10.7551/mitpress/5803.001.0001