\relax \@writefile{toc}{\contentsline {section}{\numberline {1}Introduction and Motivation}{1}} \@writefile{toc}{\contentsline {section}{\numberline {2}}{1}} \citation{bridges} \citation{ParikhSS} \citation{Parikh.knowstruc,Parikh:society} \citation{PP:goldin} \citation{ParikhSS} \citation{brams.taylor:fairdivision} \citation{BramsFish,saari} \@writefile{toc}{\contentsline {section}{\numberline {3}Introduction and Motivation}{2}} \@writefile{toc}{\contentsline {subsection}{\numberline {3.1}Social Software}{2}} \citation{Parikh:society} \@writefile{toc}{\contentsline {subsection}{\numberline {3.2}Motivating Examples}{3}} \citation{OR} \citation{A99} \citation{Stalnaker} \citation{brand05} \@writefile{toc}{\contentsline {section}{\numberline {4}Basic Frameworks}{7}} \@writefile{toc}{\contentsline {subsection}{\numberline {4.1}Epistemic Logic}{7}} \newlabel{bml}{{4.1}{7}} \newlabel{truth}{{4.3}{8}} \citation{Hintikka} \citation{GG:EpLogic} \citation{FHMV} \citation{MvdH} \citation{Meyer.EpLog} \citation{BlackwellPhilLogic} \citation{Z91:parikhlectures} \citation{Goldblatt} \citation{Handbook} \citation{Meyer.Veltman} \citation{vdHP} \citation{BdRV} \newlabel{completeness}{{4.7}{11}} \@writefile{toc}{\contentsline {subsubsection}{\numberline {4.1.1}Pointers to Literature}{11}} \citation{Aumann.agree,A99} \citation{A99} \@writefile{toc}{\contentsline {subsection}{\numberline {4.2}Aumann Structures}{12}} \newlabel{Aumann}{{4.2}{12}} \newlabel{aumannmodel}{{4.9}{12}} \citation{Ha99} \citation{Ha99} \citation{Ha99} \citation{Ha99} \citation{H67} \citation{H} \@writefile{toc}{\contentsline {subsubsection}{\numberline {4.2.1}Bayesian Structures}{15}} \citation{Aumann.agree} \citation{A99} \citation{AH01} \citation{Ha99} \citation{BB99:survey} \citation{A99II,BB99:survey,Ely.Peski} \@writefile{toc}{\contentsline {subsubsection}{\numberline {4.2.2}Pointers to Literature}{16}} \@writefile{toc}{\contentsline {section}{\numberline {5}Knowledge in Groups and Group Knowledge}{16}} \newlabel{multi-agent knowledge}{{5}{16}} \citation{lewis} \citation{clark.marshal} \citation{HM} \citation{chwe} \@writefile{toc}{\contentsline {subsection}{\numberline {5.1}Formalizing Common Knowledge}{18}} \citation{BdRV} \newlabel{ckdefn}{{5.6}{19}} \citation{A99} \citation{A99} \citation{A99} \citation{Aumann.agree} \citation{Aumann.agree} \citation{GP:82} \citation{PK:90} \citation{C} \citation{Heifetz} \citation{PK:90} \citation{C} \citation{B} \citation{K} \@writefile{toc}{\contentsline {subsection}{\numberline {5.2}Levels of Knowledge}{22}} \citation{Parikh.levels} \citation{PK92,Parikh.levels} \citation{HS98,HS99c} \citation{FGHV99} \citation{P91} \citation{MZ85} \citation{BB99:survey,Moss.Viglizzo} \citation{bacharach:choice} \@writefile{toc}{\contentsline {subsubsection}{\numberline {5.2.1}Beyond Finite Levels of Knowledge}{25}} \@writefile{toc}{\contentsline {subsubsection}{\numberline {5.2.2}Critiques on Common Knowledge }{25}} \@writefile{toc}{\contentsline {section}{\numberline {6}Reasoning about Knowledge and .........}{25}} \@writefile{toc}{\contentsline {subsection}{\numberline {6.1}....and Time}{25}} \citation{PR:85,PR:03} \citation{PR:85} \citation{FHMV} \citation{P05:history} \citation{FHMV,vBL} \citation{HR} \citation{FHMV} \citation{HR} \citation{PPC06:kbo_kra} \citation{MP} \@writefile{toc}{\contentsline {subsubsection}{\numberline {6.1.1}....and Obligation}{29}} \citation{MP} \citation{MP} \citation{G:94,G:97} \citation{MPS} \citation{Pl:89} \citation{BM:04,K:03,vD:00,Ge:99,vB} \citation{vDvdHK} \citation{vB} \@writefile{toc}{\contentsline {subsection}{\numberline {6.2}....and Effort}{30}} \citation{OR} \citation{Aumann:back} \citation{Stalnaker:back} \citation{Halpern:back} \citation{Meno} \@writefile{toc}{\contentsline {subsection}{\numberline {6.3}....and Communication}{31}} \@writefile{toc}{\contentsline {subsection}{\numberline {6.4}....and Games}{31}} \@writefile{toc}{\contentsline {section}{\numberline {7}Logical Omniscience and Other Problems}{31}} \citation{Ramsey} \citation{Dunbar} \citation{Tark05,chicago} \citation{Gettier} \citation{Li} \citation{Li,EGS} \citation{P91} \newlabel{mainthm}{{7.1}{35}} \@writefile{toc}{\contentsline {section}{\numberline {8}Reasoning about Knowledge in the Context of Social Software}{38}} \citation{PP:04,PP06:comgrph} \@writefile{toc}{\contentsline {subsection}{\numberline {8.1}Knowledge and Social Networks}{39}} \citation{PP:04} \citation{brams.taylor:fairdivision} \citation{brams.taylor:fairdivision} \@writefile{toc}{\contentsline {subsection}{\numberline {8.2}Manipulating a Fair Division Procedure}{40}} \citation{brams.taylor:fairdivision} \citation{brams.taylor:fairdivision} \citation{brams.taylor:fairdivision} \citation{BramsFish} \citation{PP:vote} \citation{BramsFish} \@writefile{toc}{\contentsline {subsection}{\numberline {8.3}Strategic Voting}{43}} \citation{CPP:04} \@writefile{toc}{\contentsline {section}{\numberline {9}Notes}{46}} \bibstyle{chicago} \bibdata{knowledge}