New course at CUNY

Rohit Parikh is preparing a new course focusing on epistemic logic at CUNY.  Here are excerpts of the informal description of the course and some administrative data about the course itself:

PHIL 76800 - Epistemic Logic and Applications (Tuesdays 6:30-8:30)

Epistemic logic has gone through an explosive development since the publication of two books, Knowledge and Belief: An introduction to the logic of the two notions, by Jaakko Hintikka, and Convention: A philosophical study, by David Lewis.  Developments in epistemic logic have since influenced philosophy, computer science, economics, linguistics and social science. After doing a survey of the two books mentioned above, the course will proceed to cover more recent topics like common knowledge, logical omniscience, agreeing to disagree, "no-trade" theorems, cheap talk and knowledge updating.

Students will benefit more if they are familiar with propositional logic (which is pretty much required) and have some idea of Kripke structures, although the latter will be covered in the course.

******************************************

It seems that the course will cover both issues related to philosophical foundations and more applied and technical results.  There are few courses that manage to do both things at an excellent level so this seems a nice opportunity for students in the NYC area.