Computer Science Colloquium, 01/30/2014

JAN 30, 2014 | 4:15 PM TO 5:30 PM



The Graduate Center
365 Fifth Avenue




January 30, 2014: 4:15 PM-5:30 PM




Speaker: Sergei Artemov. Graduate Center CUNY
Title: On the foundations of Epistemic Logic.
Time: 4:15-5:30pm
Room: 9204
We will review some recent ideas concerning foundations of Epistemic Logic.
1. Justification Logic. Justifications have been present in epistemology since Plato, but have only recently been introduced as formal objects. This opens the door to numerous applications: general theory of logical omniscience, new format of handling inconsistent information, argumentation theory, truth maintenance systems, tracking evidence and belief revision.
2. Knowing the model: towards a Syntactic Epistemic Logic. There is a well-known tension between a syntactic description of an epistemic scenario and its semantical analysis based on a specific model. Such analysis requires common knowledge of the model which does not normally follow from specifications and hence is an additional unjustified and, generally speaking, wrong assumption. Syntactic Epistemic Logic offers an approach to epistemic situations which does not rely on the common knowledge of a model.
3. Generic Common Knowledge. The notion of common knowledge of F, as introduced by Lewis in 1969, refers to any situation in which each finite iteration of  `agent 1 knows that agent 2 knows that ...  F' holds. A similar approach has been offered by McCarthy and others. This situation is now called Generic Common Knowledge, GCK, of F. Now dominant notion of Common Knowledge CK was coined by Aumann in 1976 as the least of all GCK's of F. Now there is a growing number of specific epistemic scenarios which require GCK rather than CK.
365 Fifth Ave, New York City 10016 | Room 4319 | Phone: 212.817.8190 | Fax: 212.817.1510 |