Epistemic Logic
University of Isfahan
Epistemic Logic
University of Isfahan
Instructor:
Meghdad Ghari
Email: ghari@ipm.ir
Syllabus:
Logic of knowledge and belief [1, Ch. 1, Sec. 2.2, 2.4], [7].
Completeness [1, Ch. 7, Sec. 7.2].
Logical omniscience problem [4, Ch. 9, Sec. 9.1, 9.2, 9.4, 9.5].
Justification logic [5], [2, Ch.32].
Quantified logic of evidence [8].
Group knowledge [1, Ch. 1, Sec. 2.3],
Belief revision [1, Ch.3].
Public announcements [1, Ch. 4].
The Knowability Paradox [6].
Seminars: Chapters 26-34 of [2].
Textbooks:
[1] Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi, Dynamic Epistemic Logic, Springer, 2007. Link
[2] Readings in Formal Epistemology, Arló-Costa, Horacio, Hendricks, Vincent F., van Benthem, Johan, editors, Springer Graduate Texts in Philosophy, 2016.
Other resources:
[3] J. J. Hintikka, Knowledge and Belief: An Introduction to the Logic of the two Notions, Cornell University Press, 1962.
[4] R. Fagin, J.Y. Halpern, Y. Moses, M.Y. Vardi, Reasoning about Knowledge, MIT Press,1995.
[5] S. Artemov and M. Fitting, Justification logic, In Edward N. Zalta, editor, The Stanford Encyclopedia of Philosophy. 2015. [link]
[6] J. van Benthem, What one may come to know, Analysis 64.2 : 95-105, 2004.
[7] W. Lenzen, Epistemic logic, in Handbook of Epistemology, I. Niiniluoto, M. Sintonen, J. Wolenski, editors, Kluwer Academic Publisher, 2004.
[8] M. Fitting, A quantified logic of evidence, Annals of Pure and Applied Logic, 152(1–3):67–83, March 2008.
Miscellaneous resources:
J.-J. Ch. Meyer, W. van der Hoek, Epistemic Logic for AI and Computer Science, Cambridge University Press, 1995.
M. Fitting, Reasoning with justifications, In David Makinson, Jacek Malinowski, and Heinrich Wansing, editors, Towards Mathematical Philosophy, volume 28 of Trends in Logic, chapter 6, pp. 107–123. 2009.
J. -J. Ch. Meyer, Epistemic logic, chapter 9 of The Blackwell Guide to Philosophical Logic, L. Goble, editor, Oxford: Blackwell Publishers, pp. 183-200, 2001.
R. Hakli, S. Negri, Does the deduction theorem fail for modal logic?, Synthese 187: 849-867, 2012.
J.Y. Halpern, R. Pucella, Dealing with logical omniscience: Expressiveness and pragmatics, Artificial Intelligence 175: 220–235, 2011.
S. Lindstrom, K. Segerberg, Modal Logic and Philosophy, in Handbook of Modal Logic, P. Blackburn, J. van Benthem, and F. Wolter (editors), Chapter 21, pp. 1149-1214, Elsevier, 2007.
R. Sorensen, Epistemic paradoxes, In Edward N. Zalta, editor, The Stanford Encyclopedia of Philosophy, 2011. [link]
F. Fitch, A logical analysis of some value concepts, Journal of Symbolic Logic 28 (2), pp.135-142, 1963.
W. D. Hart, C. Mcginn, Knowledge and necessity, Journal of Philosophical Logic 5, 205-208, 1976.
J. Salerno (editor), New Essays on the Knowability Paradox, Oxford University Press, 2009.
D. Kaplan, R. Montague, A paradox regained, Notre Dame Journal of Formal Logic 1, 79-90, 1960.
R. Montague, Syntactical treatment of modality with corollaries on reflection principles and finite axiomatizability, Acta Philosophica Fennica 16, 153-167, 1963.