This is pdfTeXk, Version 3.1415926-1.40.9 (Web2C 7.5.7) (format=pdflatex 2008.12.28) 3 MAY 2009 19:46 entering extended mode \write18 enabled. %&-line parsing enabled. **lori-notes.tex (./lori-notes.tex LaTeX2e <2005/12/01> Babel and hyphenation patterns for english, usenglishmax, dumylang, noh yphenation, german-x-2008-06-18, ngerman-x-2008-06-18, ancientgreek, ibycus, ar abic, basque, bulgarian, catalan, pinyin, coptic, croatian, czech, danish, dutc h, esperanto, estonian, farsi, finnish, french, galician, german, ngerman, mono greek, greek, hungarian, icelandic, indonesian, interlingua, irish, italian, la tin, lithuanian, mongolian, mongolian2a, bokmal, nynorsk, polish, portuguese, r omanian, russian, sanskrit, serbian, slovak, slovenian, spanish, swedish, turki sh, ukenglish, ukrainian, uppersorbian, welsh, loaded. (/usr/local/texlive/2008/texmf-dist/tex/latex/base/article.cls Document Class: article 2005/09/16 v1.4f Standard LaTeX document class (/usr/local/texlive/2008/texmf-dist/tex/latex/base/size12.clo File: size12.clo 2005/09/16 v1.4f Standard LaTeX file (size option) ) \c@part=\count79 \c@section=\count80 \c@subsection=\count81 \c@subsubsection=\count82 \c@paragraph=\count83 \c@subparagraph=\count84 \c@figure=\count85 \c@table=\count86 \abovecaptionskip=\skip41 \belowcaptionskip=\skip42 \bibindent=\dimen102 ) (/usr/local/texlive/2008/texmf-dist/tex/latex/amsmath/amsmath.sty Package: amsmath 2000/07/18 v2.13 AMS math features \@mathmargin=\skip43 For additional information on amsmath, use the `?' option. (/usr/local/texlive/2008/texmf-dist/tex/latex/amsmath/amstext.sty Package: amstext 2000/06/29 v2.01 (/usr/local/texlive/2008/texmf-dist/tex/latex/amsmath/amsgen.sty File: amsgen.sty 1999/11/30 v2.0 \@emptytoks=\toks14 \ex@=\dimen103 )) (/usr/local/texlive/2008/texmf-dist/tex/latex/amsmath/amsbsy.sty Package: amsbsy 1999/11/29 v1.2d \pmbraise@=\dimen104 ) (/usr/local/texlive/2008/texmf-dist/tex/latex/amsmath/amsopn.sty Package: amsopn 1999/12/14 v2.01 operator names ) \inf@bad=\count87 LaTeX Info: Redefining \frac on input line 211. \uproot@=\count88 \leftroot@=\count89 LaTeX Info: Redefining \overline on input line 307. \classnum@=\count90 \DOTSCASE@=\count91 LaTeX Info: Redefining \ldots on input line 379. LaTeX Info: Redefining \dots on input line 382. LaTeX Info: Redefining \cdots on input line 467. \Mathstrutbox@=\box26 \strutbox@=\box27 \big@size=\dimen105 LaTeX Font Info: Redeclaring font encoding OML on input line 567. LaTeX Font Info: Redeclaring font encoding OMS on input line 568. \macc@depth=\count92 \c@MaxMatrixCols=\count93 \dotsspace@=\muskip10 \c@parentequation=\count94 \dspbrk@lvl=\count95 \tag@help=\toks15 \row@=\count96 \column@=\count97 \maxfields@=\count98 \andhelp@=\toks16 \eqnshift@=\dimen106 \alignsep@=\dimen107 \tagshift@=\dimen108 \tagwidth@=\dimen109 \totwidth@=\dimen110 \lineht@=\dimen111 \@envbody=\toks17 \multlinegap=\skip44 \multlinetaggap=\skip45 \mathdisplay@stack=\toks18 LaTeX Info: Redefining \[ on input line 2666. LaTeX Info: Redefining \] on input line 2667. ) (/usr/local/texlive/2008/texmf-dist/tex/latex/amsfonts/amsfonts.sty Package: amsfonts 2001/10/25 v2.2f \symAMSa=\mathgroup4 \symAMSb=\mathgroup5 LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold' (Font) U/euf/m/n --> U/euf/b/n on input line 132. ) (/usr/local/texlive/2008/texmf-dist/tex/latex/base/latexsym.sty Package: latexsym 1998/08/17 v2.2e Standard LaTeX package (lasy symbols) \symlasy=\mathgroup6 LaTeX Font Info: Overwriting symbol font `lasy' in version `bold' (Font) U/lasy/m/n --> U/lasy/b/n on input line 47. ) (/usr/local/texlive/2008/texmf-dist/tex/latex/amsfonts/amssymb.sty Package: amssymb 2002/01/22 v2.2d ) (/usr/local/texlive/2008/texmf-dist/tex/latex/ltxmisc/url.sty \Urlmuskip=\muskip11 Package: url 2006/04/12 ver 3.3 Verb mode for urls, etc. ) (/usr/local/texlive/2008/texmf-dist/tex/latex/tools/theorem.sty Package: theorem 1995/11/23 v2.2c Theorem extension package (FMi) \theorem@style=\toks19 \theorem@bodyfont=\toks20 \theorempreskipamount=\skip46 \theorempostskipamount=\skip47 (/usr/local/texlive/2008/texmf-dist/tex/latex/tools/thp.sty File: thp.sty 1995/11/23 v2.2c Theorem extension package (FMi) )) (/usr/local/texlive/2008/texmf-dist/tex/latex/graphics/color.sty Package: color 2005/11/14 v1.0j Standard LaTeX Color (DPC) (/usr/local/texlive/2008/texmf/tex/latex/config/color.cfg File: color.cfg 2007/01/18 v1.5 color configuration of teTeX/TeXLive ) Package color Info: Driver file: pdftex.def on input line 130. (/usr/local/texlive/2008/texmf-dist/tex/latex/pdftex-def/pdftex.def File: pdftex.def 2008/09/08 v0.04l Graphics/color for pdfTeX \Gread@gobject=\count99 )) (/usr/local/texlive/2008/texmf-dist/tex/latex/graphics/graphicx.sty Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR) (/usr/local/texlive/2008/texmf-dist/tex/latex/graphics/keyval.sty Package: keyval 1999/03/16 v1.13 key=value parser (DPC) \KV@toks@=\toks21 ) (/usr/local/texlive/2008/texmf-dist/tex/latex/graphics/graphics.sty Package: graphics 2006/02/20 v1.0o Standard LaTeX Graphics (DPC,SPQR) (/usr/local/texlive/2008/texmf-dist/tex/latex/graphics/trig.sty Package: trig 1999/03/16 v1.09 sin cos tan (DPC) ) (/usr/local/texlive/2008/texmf/tex/latex/config/graphics.cfg File: graphics.cfg 2007/01/18 v1.5 graphics configuration of teTeX/TeXLive ) Package graphics Info: Driver file: pdftex.def on input line 90. ) \Gin@req@height=\dimen112 \Gin@req@width=\dimen113 ) (/usr/local/texlive/2008/texmf-dist/tex/generic/xypic/xy.sty (/usr/local/texlive/2008/texmf-dist/tex/generic/xypic/xy.tex Bootstrap'ing: catcodes, docmode, (/usr/local/texlive/2008/texmf-dist/tex/generic/xypic/xyrecat.tex) (/usr/local/texlive/2008/texmf-dist/tex/generic/xypic/xyidioms.tex) Xy-pic version 3.7 <1999/02/16> Copyright (c) 1991-1998 by Kristoffer H. Rose Xy-pic is free software: see the User's Guide for details. Loading kernel: messages; fonts; allocations: state, \X@c=\dimen114 \Y@c=\dimen115 \U@c=\dimen116 \D@c=\dimen117 \L@c=\dimen118 \R@c=\dimen119 \Edge@c=\toks22 \X@p=\dimen120 \Y@p=\dimen121 \U@p=\dimen122 \D@p=\dimen123 \L@p=\dimen124 \R@p=\dimen125 \Edge@p=\toks23 \X@origin=\dimen126 \Y@origin=\dimen127 \X@xbase=\dimen128 \Y@xbase=\dimen129 \X@ybase=\dimen130 \Y@ybase=\dimen131 \X@min=\dimen132 \Y@min=\dimen133 \X@max=\dimen134 \Y@max=\dimen135 \lastobjectbox@=\box28 \zerodotbox@=\box29 \almostz@=\dimen136 direction, \d@X=\dimen137 \d@Y=\dimen138 \K@=\count100 \KK@=\count101 \Direction=\count102 \K@dXdY=\dimen139 \K@dYdX=\dimen140 \xyread@=\read1 \xywrite@=\write3 \csp@=\count103 \quotPTK@=\dimen141 utility macros; pictures: \xy, positions, \swaptoks@@=\toks24 \connectobjectbox@@=\box30 objects, \styletoks@=\toks25 decorations; kernel objects: directionals, circles, text; options; algorithms: directions, edges, connections; Xy-pic loaded) Package: xy 1999/02/16 Xy-pic version 3.7 (/usr/local/texlive/2008/texmf-dist/tex/generic/xypic/xyall.tex Xy-pic option: All features v.3.3 (/usr/local/texlive/2008/texmf-dist/tex/generic/xypic/xycurve.tex Xy-pic option: Curve and Spline extension v.3.7 curve, \crv@cnt@=\count104 \crvpts@=\toks26 \splinebox@=\box31 \splineval@=\dimen142 \splinedepth@=\dimen143 \splinetol@=\dimen144 \splinelength@=\dimen145 circles, \L@=\dimen146 loaded) (/usr/local/texlive/2008/texmf-dist/tex/generic/xypic/xyframe.tex Xy-pic option: Frame and Bracket extension v.3.7 loaded) (/usr/local/texlive/2008/texmf-dist/tex/generic/xypic/xycmtip.tex Xy-pic option: Computer Modern tip extension v.3.3 (/usr/local/texlive/2008/texmf-dist/tex/generic/xypic/xytips.tex Xy-pic option: More Tips extension v.3.3 loaded) loaded) (/usr/local/texlive/2008/texmf-dist/tex/generic/xypic/xyline.tex Xy-pic option: Line styles extension v.3.6 \xylinethick@=\dimen147 loaded) (/usr/local/texlive/2008/texmf-dist/tex/generic/xypic/xyrotate.tex Xy-pic option: Rotate and Scale extension v.3.3 loaded) (/usr/local/texlive/2008/texmf-dist/tex/generic/xypic/xycolor.tex Xy-pic option: Colour extension v.3.3 loaded) (/usr/local/texlive/2008/texmf-dist/tex/generic/xypic/xymatrix.tex Xy-pic option: Matrix feature v.3.4 \Row=\count105 \Col=\count106 \queue@=\toks27 \queue@@=\toks28 \qcount@=\count107 \qcount@@=\count108 \matrixsize@=\count109 loaded) (/usr/local/texlive/2008/texmf-dist/tex/generic/xypic/xyarrow.tex Xy-pic option: Arrow and Path feature v.3.5 path, \ar, loaded) (/usr/local/texlive/2008/texmf-dist/tex/generic/xypic/xygraph.tex Xy-pic option: Graph feature v.3.7 loaded) loaded)) (/usr/local/texlive/2008/texmf-dist/tex/latex/comment/comment.sty \CommentStream=\write4 Excluding comment 'comment') (/usr/local/texlive/2008/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty (/usr/local/texlive/2008/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty (/usr/local/texlive/2008/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty (/usr/local/texlive/2008/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.te x \pgfutil@everybye=\toks29 ) (/usr/local/texlive/2008/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def ) (/usr/local/texlive/2008/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex Package: pgfrcs 2008/02/20 v2.00 (rcs-revision 1.21) )) Package: pgf 2008/01/15 v2.00 (rcs-revision 1.12) (/usr/local/texlive/2008/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty (/usr/local/texlive/2008/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty (/usr/local/texlive/2008/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex Package: pgfsys 2008/02/07 v2.00 (rcs-revision 1.31) (/usr/local/texlive/2008/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex \pgfkeys@pathtoks=\toks30 \pgfkeys@temptoks=\toks31 ) \pgf@x=\dimen148 \pgf@y=\dimen149 \pgf@xa=\dimen150 \pgf@ya=\dimen151 \pgf@xb=\dimen152 \pgf@yb=\dimen153 \pgf@xc=\dimen154 \pgf@yc=\dimen155 \c@pgf@counta=\count110 \c@pgf@countb=\count111 \c@pgf@countc=\count112 \c@pgf@countd=\count113 (/usr/local/texlive/2008/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg File: pgf.cfg 2008/01/13 (rcs-revision 1.6) ) Package pgfsys Info: Driver file for pgf: pgfsys-pdftex.def on input line 885. (/usr/local/texlive/2008/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.d ef File: pgfsys-pdftex.def 2007/12/20 (rcs-revision 1.20) (/usr/local/texlive/2008/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-p df.def File: pgfsys-common-pdf.def 2007/12/17 (rcs-revision 1.8) ))) (/usr/local/texlive/2008/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath. code.tex File: pgfsyssoftpath.code.tex 2008/01/23 (rcs-revision 1.6) \pgfsyssoftpath@smallbuffer@items=\count114 \pgfsyssoftpath@bigbuffer@items=\count115 ) (/usr/local/texlive/2008/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol. code.tex File: pgfsysprotocol.code.tex 2006/10/16 (rcs-revision 1.4) )) (/usr/local/texlive/2008/texmf-dist/tex/latex/xcolor/xcolor.sty Package: xcolor 2007/01/21 v2.11 LaTeX color extensions (UK) (/usr/local/texlive/2008/texmf/tex/latex/config/color.cfg File: color.cfg 2007/01/18 v1.5 color configuration of teTeX/TeXLive ) Package xcolor Info: Driver file: pdftex.def on input line 225. LaTeX Info: Redefining \color on input line 702. Package xcolor Info: Model `cmy' substituted by `cmy0' on input line 1337. Package xcolor Info: Model `hsb' substituted by `rgb' on input line 1341. Package xcolor Info: Model `RGB' extended on input line 1353. Package xcolor Info: Model `HTML' substituted by `rgb' on input line 1355. Package xcolor Info: Model `Hsb' substituted by `hsb' on input line 1356. Package xcolor Info: Model `tHsb' substituted by `hsb' on input line 1357. Package xcolor Info: Model `HSB' substituted by `hsb' on input line 1358. Package xcolor Info: Model `Gray' substituted by `gray' on input line 1359. Package xcolor Info: Model `wave' substituted by `hsb' on input line 1360. ) (/usr/local/texlive/2008/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex Package: pgfcore 2008/01/15 v2.00 (rcs-revision 1.6) (/usr/local/texlive/2008/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex (/usr/local/texlive/2008/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex (/usr/local/texlive/2008/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex \pgfmath@box=\box32 ) (/usr/local/texlive/2008/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex \pgfmath@stack=\toks32 \c@pgfmath@parsecounta=\count116 \c@pgfmath@parsecountb=\count117 \c@pgfmath@parsecountc=\count118 \pgfmath@parsex=\dimen156 ) (/usr/local/texlive/2008/texmf-dist/tex/generic/pgf/math/pgfmathoperations.code .tex (/usr/local/texlive/2008/texmf-dist/tex/generic/pgf/math/pgfmathtrig.code.tex) (/usr/local/texlive/2008/texmf-dist/tex/generic/pgf/math/pgfmathrnd.code.tex)) (/usr/local/texlive/2008/texmf-dist/tex/generic/pgf/math/pgfmathbase.code.tex)) ) (/usr/local/texlive/2008/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.co de.tex File: pgfcorepoints.code.tex 2008/02/03 (rcs-revision 1.13) \pgf@picminx=\dimen157 \pgf@picmaxx=\dimen158 \pgf@picminy=\dimen159 \pgf@picmaxy=\dimen160 \pgf@pathminx=\dimen161 \pgf@pathmaxx=\dimen162 \pgf@pathminy=\dimen163 \pgf@pathmaxy=\dimen164 \pgf@xx=\dimen165 \pgf@xy=\dimen166 \pgf@yx=\dimen167 \pgf@yy=\dimen168 \pgf@zx=\dimen169 \pgf@zy=\dimen170 ) (/usr/local/texlive/2008/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconst ruct.code.tex File: pgfcorepathconstruct.code.tex 2008/02/13 (rcs-revision 1.14) \pgf@path@lastx=\dimen171 \pgf@path@lasty=\dimen172 ) (/usr/local/texlive/2008/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage .code.tex File: pgfcorepathusage.code.tex 2008/01/23 (rcs-revision 1.11) \pgf@shorten@end@additional=\dimen173 \pgf@shorten@start@additional=\dimen174 ) (/usr/local/texlive/2008/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.co de.tex File: pgfcorescopes.code.tex 2008/01/15 (rcs-revision 1.26) \pgfpic=\box33 \pgf@hbox=\box34 \pgf@layerbox@main=\box35 \pgf@picture@serial@count=\count119 ) (/usr/local/texlive/2008/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicst ate.code.tex File: pgfcoregraphicstate.code.tex 2007/12/12 (rcs-revision 1.8) \pgflinewidth=\dimen175 ) (/usr/local/texlive/2008/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransform ations.code.tex File: pgfcoretransformations.code.tex 2008/02/04 (rcs-revision 1.10) \pgf@pt@x=\dimen176 \pgf@pt@y=\dimen177 \pgf@pt@temp=\dimen178 ) (/usr/local/texlive/2008/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.cod e.tex File: pgfcorequick.code.tex 2006/10/11 (rcs-revision 1.2) ) (/usr/local/texlive/2008/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.c ode.tex File: pgfcoreobjects.code.tex 2006/10/11 (rcs-revision 1.2) ) (/usr/local/texlive/2008/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathproce ssing.code.tex File: pgfcorepathprocessing.code.tex 2008/01/23 (rcs-revision 1.7) ) (/usr/local/texlive/2008/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.co de.tex File: pgfcorearrows.code.tex 2007/06/07 (rcs-revision 1.8) ) (/usr/local/texlive/2008/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.cod e.tex File: pgfcoreshade.code.tex 2007/12/10 (rcs-revision 1.9) \pgf@max=\dimen179 \pgf@sys@shading@range@num=\count120 ) (/usr/local/texlive/2008/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.cod e.tex File: pgfcoreimage.code.tex 2008/01/15 (rcs-revision 1.1) \pgfexternal@startupbox=\box36 ) (/usr/local/texlive/2008/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.co de.tex File: pgfcorelayers.code.tex 2008/01/15 (rcs-revision 1.1) ) (/usr/local/texlive/2008/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretranspare ncy.code.tex File: pgfcoretransparency.code.tex 2008/01/17 (rcs-revision 1.2) ) (/usr/local/texlive/2008/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns. code.tex File: pgfcorepatterns.code.tex 2008/01/15 (rcs-revision 1.1) ))) (/usr/local/texlive/2008/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.cod e.tex File: pgfmoduleshapes.code.tex 2008/02/13 (rcs-revision 1.4) \pgfnodeparttextbox=\box37 \toks@savedmacro=\toks33 ) (/usr/local/texlive/2008/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code. tex File: pgfmoduleplot.code.tex 2008/01/15 (rcs-revision 1.1) \pgf@plotwrite=\write5 ) (/usr/local/texlive/2008/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version -0-65.sty Package: pgfcomp-version-0-65 2007/07/03 v2.00 (rcs-revision 1.7) \pgf@nodesepstart=\dimen180 \pgf@nodesepend=\dimen181 ) (/usr/local/texlive/2008/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version -1-18.sty Package: pgfcomp-version-1-18 2007/07/23 v2.00 (rcs-revision 1.1) )) (/usr/local/texlive/2008/texmf-dist/tex/latex/pgf/utilities/pgffor.sty (/usr/local/texlive/2008/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex Package: pgffor 2007/11/07 v2.00 (rcs-revision 1.8) \pgffor@iter=\dimen182 \pgffor@skip=\dimen183 )) (/usr/local/texlive/2008/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.cod e.tex Package: tikz 2008/02/13 v2.00 (rcs-revision 1.27) (/usr/local/texlive/2008/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothan dlers.code.tex File: pgflibraryplothandlers.code.tex 2007/03/09 v2.00 (rcs-revision 1.9) \pgf@plot@mark@count=\count121 \pgfplotmarksize=\dimen184 ) \tikz@lastx=\dimen185 \tikz@lasty=\dimen186 \tikz@lastxsaved=\dimen187 \tikz@lastysaved=\dimen188 \tikzleveldistance=\dimen189 \tikzsiblingdistance=\dimen190 \tikz@figbox=\box38 \tikz@tempbox=\box39 \tikztreelevel=\count122 \tikznumberofchildren=\count123 \tikznumberofcurrentchild=\count124 \tikz@fig@count=\count125 (/usr/local/texlive/2008/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.cod e.tex File: pgfmodulematrix.code.tex 2008/01/15 (rcs-revision 1.1) \pgfmatrixcurrentrow=\count126 \pgfmatrixcurrentcolumn=\count127 \pgf@matrix@numberofcolumns=\count128 ) \tikz@expandcount=\count129 (/usr/local/texlive/2008/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie s/tikzlibrarytopaths.code.tex File: tikzlibrarytopaths.code.tex 2008/01/09 v2.00 (rcs-revision 1.1) ))) (/usr/local/texlive/2008/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie s/tikzlibraryautomata.code.tex File: tikzlibraryautomata.code.tex 2008/02/14 v2.00 (rcs-revision 1.2) ) (/usr/local/texlive/2008/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie s/tikzlibraryarrows.code.tex File: tikzlibraryarrows.code.tex 2008/01/09 v2.00 (rcs-revision 1.1) (/usr/local/texlive/2008/texmf-dist/tex/generic/pgf/libraries/pgflibraryarrows. code.tex File: pgflibraryarrows.code.tex 2007/06/07 v2.00 (rcs-revision 1.7) )) (/usr/local/texlive/2008/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie s/tikzlibraryshapes.code.tex File: tikzlibraryshapes.code.tex 2008/01/09 v2.00 (rcs-revision 1.1) (/usr/local/texlive/2008/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie s/tikzlibraryshapes.geometric.code.tex File: tikzlibraryshapes.geometric.code.tex 2008/01/09 v2.00 (rcs-revision 1.1) (/usr/local/texlive/2008/texmf-dist/tex/generic/pgf/libraries/pgflibraryshapes. geometric.code.tex File: pgflibraryshapes.geometric.code.tex 2008/02/01 v2.00 (rcs-revision 1.22) )) (/usr/local/texlive/2008/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie s/tikzlibraryshapes.misc.code.tex File: tikzlibraryshapes.misc.code.tex 2008/01/09 v2.00 (rcs-revision 1.1) (/usr/local/texlive/2008/texmf-dist/tex/generic/pgf/libraries/pgflibraryshapes. misc.code.tex File: pgflibraryshapes.misc.code.tex 2008/02/12 v2.00 (rcs-revision 1.10) )) (/usr/local/texlive/2008/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie s/tikzlibraryshapes.symbols.code.tex File: tikzlibraryshapes.symbols.code.tex 2008/01/09 v2.00 (rcs-revision 1.1) (/usr/local/texlive/2008/texmf-dist/tex/generic/pgf/libraries/pgflibraryshapes. symbols.code.tex File: pgflibraryshapes.symbols.code.tex 2008/01/30 v2.00 (rcs-revision 1.13) )) (/usr/local/texlive/2008/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie s/tikzlibraryshapes.arrows.code.tex File: tikzlibraryshapes.arrows.code.tex 2008/01/09 v2.00 (rcs-revision 1.1) (/usr/local/texlive/2008/texmf-dist/tex/generic/pgf/libraries/pgflibraryshapes. arrows.code.tex File: pgflibraryshapes.arrows.code.tex 2007/11/10 v2.00 (rcs-revision 1.3) )) (/usr/local/texlive/2008/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie s/tikzlibraryshapes.callouts.code.tex (/usr/local/texlive/2008/texmf-dist/tex/generic/pgf/libraries/pgflibraryshapes. callouts.code.tex)) (/usr/local/texlive/2008/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie s/tikzlibraryshapes.multipart.code.tex File: tikzlibraryshapes.multipart.code.tex 2008/01/09 v2.00 (rcs-revision 1.1) (/usr/local/texlive/2008/texmf-dist/tex/generic/pgf/libraries/pgflibraryshapes. multipart.code.tex File: pgflibraryshapes.multipart.code.tex 2008/01/15 v2.00 (rcs-revision 1.7) \pgfnodepartlowerbox=\box40 \pgfnodepartsecondbox=\box41 \pgfnodepartthirdbox=\box42 \pgfnodepartfourthbox=\box43 ))) (/usr/local/texlive/2008/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie s/tikzlibrarysnakes.code.tex File: tikzlibrarysnakes.code.tex 2008/02/05 v2.00 (rcs-revision 1.6) Package tikz Warning: Snakes have been superseded by decorations. Please use th e decoration libraries instead of the snakes library on input line 14. (/usr/local/texlive/2008/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie s/tikzlibrarydecorations.pathmorphing.code.tex (/usr/local/texlive/2008/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie s/tikzlibrarydecorations.code.tex (/usr/local/texlive/2008/texmf-dist/tex/generic/pgf/modules/pgfmoduledecoration s.code.tex \pgfdecoratedcompleteddistance=\dimen191 \pgfdecoratedremainingdistance=\dimen192 \pgfdecoratedinputsegmentcompleteddistance=\dimen193 \pgfdecoratedinputsegmentremainingdistance=\dimen194 \pgf@decorate@distancetomove=\dimen195 \pgf@decorate@repeatstate=\count130 \pgfdecorationsegmentamplitude=\dimen196 \pgfdecorationsegmentlength=\dimen197 )) (/usr/local/texlive/2008/texmf-dist/tex/generic/pgf/libraries/pgflibrarydecorat ions.pathmorphing.code.tex)) (/usr/local/texlive/2008/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie s/tikzlibrarydecorations.pathreplacing.code.tex (/usr/local/texlive/2008/texmf-dist/tex/generic/pgf/libraries/pgflibrarydecorat ions.pathreplacing.code.tex)) (/usr/local/texlive/2008/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie s/tikzlibrarydecorations.shapes.code.tex (/usr/local/texlive/2008/texmf-dist/tex/generic/pgf/libraries/pgflibrarydecorat ions.shapes.code.tex))) (/usr/local/texlive/2008/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie s/tikzlibrarytrees.code.tex File: tikzlibrarytrees.code.tex 2008/01/09 v2.00 (rcs-revision 1.1) ) (/usr/local/texlive/2008/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie s/tikzlibrarybackgrounds.code.tex File: tikzlibrarybackgrounds.code.tex 2008/01/09 v2.00 (rcs-revision 1.1) \pgf@layerbox@background=\box44 \pgf@layerboxsaved@background=\box45 ) (/usr/local/texlive/2008/texmf-dist/tex/latex/natbib/natbib.sty Package: natbib 2009/02/02 8.3 (PWD, AO) \bibhang=\skip48 \bibsep=\skip49 LaTeX Info: Redefining \cite on input line 694. \c@NAT@ctr=\count131 ) (/usr/local/texlive/2008/texmf-dist/tex/latex/overpic/overpic.sty Package: overpic 1999/07/04 v0.52 Overwriting eps pictures Package: overpic v0.52 <1999/07/04> (RN) (/usr/local/texlive/2008/texmf-dist/tex/latex/eepic/epic.sty Enhancements to Picture Environment. Version 1.2 - Released June 1, 1986 \@@multicnt=\count132 \d@lta=\count133 \@delta=\dimen198 \@@delta=\dimen199 \@gridcnt=\count134 \@joinkind=\count135 \@dotgap=\dimen200 \@ddotgap=\dimen201 \@x@diff=\count136 \@y@diff=\count137 \x@diff=\dimen202 \y@diff=\dimen203 \@dotbox=\box46 \num@segments=\count138 \num@segmentsi=\count139 \@datafile=\read2 ) overpic: relative positioning in percent ) (/usr/local/texlive/2008/texmf-dist/tex/latex/tools/multicol.sty Package: multicol 2006/05/18 v1.6g multicolumn formatting (FMi) \c@tracingmulticols=\count140 \mult@box=\box47 \multicol@leftmargin=\dimen204 \c@unbalance=\count141 \c@collectmore=\count142 \doublecol@number=\count143 \multicoltolerance=\count144 \multicolpretolerance=\count145 \full@width=\dimen205 \page@free=\dimen206 \premulticols=\dimen207 \postmulticols=\dimen208 \multicolsep=\skip50 \multicolbaselineskip=\skip51 \partial@page=\box48 \last@line=\box49 \mult@rightbox=\box50 \mult@grightbox=\box51 \mult@gfirstbox=\box52 \mult@firstbox=\box53 \@tempa=\box54 \@tempa=\box55 \@tempa=\box56 \@tempa=\box57 \@tempa=\box58 \@tempa=\box59 \@tempa=\box60 \@tempa=\box61 \@tempa=\box62 \@tempa=\box63 \@tempa=\box64 \@tempa=\box65 \@tempa=\box66 \@tempa=\box67 \@tempa=\box68 \@tempa=\box69 \@tempa=\box70 \c@columnbadness=\count146 \c@finalcolumnbadness=\count147 \last@try=\dimen209 \multicolovershoot=\dimen210 \multicolundershoot=\dimen211 \mult@nat@firstbox=\box71 \colbreak@box=\box72 ) (/usr/local/texlive/2008/texmf-dist/tex/latex/fancyhdr/fancyheadings.sty Package: fancyheadings 2008/02/04 1.99 Dummy package to call fancyhdr Package fancyheadings Warning: Please stop using fancyheadings! (fancyheadings) Use fancyhdr instead. (fancyheadings) We will call fancyhdr with the very same (fancyheadings) options you passed to fancyheadings. (fancyheadings) (fancyheadings) fancyhdr is 99 percent compatible with (fancyheadings) fancyheadings. The only incompatibility is (fancyheadings) that \headrulewidth and \footrulewidth and (fancyheadings) their \plain... versions are no longer length (fancyheadings) parameters, but normal macros (to be changed (fancyheadings) with \renewcommand rather than \setlength).. (/usr/local/texlive/2008/texmf-dist/tex/latex/fancyhdr/fancyhdr.sty \fancy@headwidth=\skip52 \f@ncyO@elh=\skip53 \f@ncyO@erh=\skip54 \f@ncyO@olh=\skip55 \f@ncyO@orh=\skip56 \f@ncyO@elf=\skip57 \f@ncyO@erf=\skip58 \f@ncyO@olf=\skip59 \f@ncyO@orf=\skip60 )) \c@theorem=\count148 (./lori-notes.aux) \openout1 = `lori-notes.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 178. LaTeX Font Info: ... okay on input line 178. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 178. LaTeX Font Info: ... okay on input line 178. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 178. LaTeX Font Info: ... okay on input line 178. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 178. LaTeX Font Info: ... okay on input line 178. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 178. LaTeX Font Info: ... okay on input line 178. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 178. LaTeX Font Info: ... okay on input line 178. (/usr/local/texlive/2008/texmf-dist/tex/context/base/supp-pdf.tex [Loading MPS to PDF converter (version 2006.09.02).] \scratchcounter=\count149 \scratchdimen=\dimen212 \scratchbox=\box73 \nofMPsegments=\count150 \nofMParguments=\count151 \everyMPshowfont=\toks34 \MPscratchCnt=\count152 \MPscratchDim=\dimen213 \MPnumerator=\count153 \everyMPtoPDFconversion=\toks35 ) LaTeX Font Info: Try loading font information for U+msa on input line 180. (/usr/local/texlive/2008/texmf-dist/tex/latex/amsfonts/umsa.fd File: umsa.fd 2002/01/19 v2.2g AMS font definitions ) LaTeX Font Info: Try loading font information for U+msb on input line 180. (/usr/local/texlive/2008/texmf-dist/tex/latex/amsfonts/umsb.fd File: umsb.fd 2002/01/19 v2.2g AMS font definitions ) LaTeX Font Info: Try loading font information for U+lasy on input line 180. (/usr/local/texlive/2008/texmf-dist/tex/latex/base/ulasy.fd File: ulasy.fd 1998/08/17 v2.2e LaTeX symbol font definitions ) Underfull \hbox (badness 10000) in paragraph at lines 212--219 [] [1 {/usr/local/texlive/2008/texmf-var/fonts/map/pdftex/updmap/pdftex.map}] Package natbib Warning: Citation `bridges' on page 2 undefined on input line 23 2. Package natbib Warning: Citation `ParikhSS' on page 2 undefined on input line 2 43. Package natbib Warning: Citation `Parikh.knowstruc' on page 2 undefined on inpu t line 244. Package natbib Warning: Citation `Parikh:society' on page 2 undefined on input line 244. Package natbib Warning: Citation `PP:goldin' on page 2 undefined on input line 244. Package natbib Warning: Citation `ParikhSS' on page 2 undefined on input line 2 49. Package natbib Warning: Citation `brams.taylor:fairdivision' on page 2 undefine d on input line 259. Package natbib Warning: Citation `BramsFish' on page 2 undefined on input line 260. Package natbib Warning: Citation `saari' on page 2 undefined on input line 260. Package Fancyhdr Warning: \headheight is too small (12.0pt): Make it at least 14.49998pt. We now make it that large for the rest of the document. This may cause the page layout to be inconsistent, however. [2] LaTeX Font Info: Try loading font information for OMS+cmr on input line 274. (/usr/local/texlive/2008/texmf-dist/tex/latex/base/omscmr.fd File: omscmr.fd 1999/05/25 v2.5h Standard LaTeX font definitions ) LaTeX Font Info: Font shape `OMS/cmr/m/n' in size <12> not available (Font) Font shape `OMS/cmsy/m/n' tried instead on input line 274. Package natbib Warning: Citation `Parikh:society' on page 3 undefined on input line 280. Underfull \hbox (badness 10000) in paragraph at lines 296--297 [] Underfull \hbox (badness 10000) in paragraph at lines 300--303 [] Underfull \hbox (badness 10000) in paragraph at lines 304--308 [] Underfull \hbox (badness 10000) in paragraph at lines 309--316 [] [3] Underfull \hbox (badness 10000) in paragraph at lines 318--323 [] Underfull \hbox (badness 10000) in paragraph at lines 332--337 [] Underfull \hbox (badness 10000) in paragraph at lines 343--344 [] Underfull \hbox (badness 10000) in paragraph at lines 348--353 [] Underfull \hbox (badness 10000) in paragraph at lines 372--380 [] [4] [5] Underfull \hbox (badness 10000) in paragraph at lines 385--386 [] Package natbib Warning: Citation `OR' on page 6 undefined on input line 392. Underfull \hbox (badness 10000) in paragraph at lines 442--447 [] Underfull \hbox (badness 10000) in paragraph at lines 448--449 [] Package natbib Warning: Citation `A99' on page 6 undefined on input line 460. Package natbib Warning: Citation `Stalnaker' on page 6 undefined on input line 460. Package natbib Warning: Citation `brand05' on page 6 undefined on input line 46 0. Underfull \hbox (badness 10000) in paragraph at lines 459--462 [] [6] Underfull \hbox (badness 10000) in paragraph at lines 466--467 [] Underfull \hbox (badness 10000) in paragraph at lines 470--476 [] Underfull \hbox (badness 10000) in paragraph at lines 501--503 [] [7] [8] Underfull \hbox (badness 10000) in paragraph at lines 587--588 [] Underfull \hbox (badness 10000) in paragraph at lines 612--614 [] [9] Underfull \hbox (badness 10000) in paragraph at lines 642--645 [] Overfull \hbox (24.91199pt too wide) in paragraph at lines 647--660 \OT1/cmr/bx/n/12 deriv-able \OT1/cmr/m/it/12 then so is $\U/lasy/m/n/12 2\OML/c mm/m/it/12 '$\OT1/cmr/m/it/12 . \OT1/cmr/m/n/12 Given for-mu-las $\OML/cmm/m/it /12 '[]; [] ; '[]$\OT1/cmr/m/n/12 , a \OT1/cmr/bx/n/12 logic $\OT1/cmr/m/n/12 ^ ^C(\OML/cmm/m/it/12 PC; '[]; [] ; '[]; MP; N\OT1/cmr/m/n/12 )$ [] [10] LaTeX Font Info: Font shape `OMS/cmr/m/it' in size <12> not available (Font) Font shape `OMS/cmsy/m/n' tried instead on input line 690. Package natbib Warning: Citation `Hintikka' on page 11 undefined on input line 716. Package natbib Warning: Citation `GG:EpLogic' on page 11 undefined on input lin e 719. Package natbib Warning: Citation `FHMV' on page 11 undefined on input line 721. Package natbib Warning: Citation `MvdH' on page 11 undefined on input line 721. Package natbib Warning: Citation `Meyer.EpLog' on page 11 undefined on input li ne 722. Package natbib Warning: Citation `BlackwellPhilLogic' on page 11 undefined on i nput line 723. Package natbib Warning: Citation `Z91:parikhlectures' on page 11 undefined on i nput line 724. Underfull \hbox (badness 10000) in paragraph at lines 715--726 [] Package natbib Warning: Citation `Goldblatt' on page 11 undefined on input line 729. Package natbib Warning: Citation `Handbook' on page 11 undefined on input line 730. Package natbib Warning: Citation `Meyer.Veltman' on page 11 undefined on input line 732. Package natbib Warning: Citation `vdHP' on page 11 undefined on input line 733. Package natbib Warning: Citation `BdRV' on page 11 undefined on input line 735. Underfull \hbox (badness 10000) in paragraph at lines 727--736 [] [11] Package natbib Warning: Citation `Aumann.agree' on page 12 undefined on input l ine 747. Package natbib Warning: Citation `A99' on page 12 undefined on input line 747. Package natbib Warning: Citation `A99' on page 12 undefined on input line 766. [12] Package natbib Warning: Citation `Ha99' on page 13 undefined on input line 827. Overfull \hbox (11.9196pt too wide) in paragraph at lines 831--838 []\OT1/cmr/m/n/12 An \OT1/cmr/bx/n/12 pos-si-bil-ity frame \OT1/cmr/m/n/12 is a pair $\OMS/cmsy/m/n/12 h\OML/cmm/m/it/12 W; \OMS/cmsy/m/n/12 Pi$ [] Overfull \hbox (10.96849pt too wide) in paragraph at lines 848--851 []\OT1/cmr/m/n/12 Given any pos-si-bil-ity func-tion $\OMS/cmsy/m/n/12 P \OT1/c mr/m/n/12 : \OML/cmm/m/it/12 W \OMS/cmsy/m/n/12 ! [] [13] Package natbib Warning: Citation `Ha99' on page 14 undefined on input line 872. Package natbib Warning: Citation `Ha99' on page 14 undefined on input line 886. Package natbib Warning: Citation `Ha99' on page 14 undefined on input line 894. Overfull \hbox (1.95032pt too wide) in paragraph at lines 894--900 []\OT1/cmr/m/it/12 Suppose that $[]$ is any op- [] Package natbib Warning: Citation `H67' on page 14 undefined on input line 966. Package natbib Warning: Citation `H' on page 14 undefined on input line 968. [14] [15] Package natbib Warning: Citation `Aumann.agree' on page 16 undefined on input l ine 1034. Package natbib Warning: Citation `A99' on page 16 undefined on input line 1038. Package natbib Warning: Citation `AH01' on page 16 undefined on input line 1039 . Package natbib Warning: Citation `Ha99' on page 16 undefined on input line 1039 . Package natbib Warning: Citation `BB99:survey' on page 16 undefined on input li ne 1040. Package natbib Warning: Citation `A99II' on page 16 undefined on input line 104 5. Package natbib Warning: Citation `BB99:survey' on page 16 undefined on input li ne 1045. Package natbib Warning: Citation `Ely.Peski' on page 16 undefined on input line 1045. [16] Overfull \hbox (3.80891pt too wide) in paragraph at lines 1067--1072 \OT1/cmr/bx/n/12 multi-agent Kripke model \OT1/cmr/m/n/12 based on a frame $\OM S/cmsy/m/n/12 h\OML/cmm/m/it/12 W; \OMS/cmsy/m/n/12 f\OML/cmm/m/it/12 R[]\OMS/c msy/m/n/12 g[]i$ \OT1/cmr/m/n/12 is a triple $\OMS/cmsy/m/n/12 h\OML/cmm/m/it/1 2 W; \OMS/cmsy/m/n/12 f\OML/cmm/m/it/12 R[]\OMS/cmsy/m/n/12 g[]\OML/cmm/m/it/12 ;$ [] Underfull \hbox (badness 10000) in paragraph at lines 1088--1091 [] Underfull \hbox (badness 10000) in paragraph at lines 1094--1096 [] [17] Underfull \hbox (badness 10000) in paragraph at lines 1142--1143 [] Package natbib Warning: Citation `lewis' on page 18 undefined on input line 115 6. Package natbib Warning: Citation `clark.marshal' on page 18 undefined on input line 1156. Package natbib Warning: Citation `HM' on page 18 undefined on input line 1160. Package natbib Warning: Citation `chwe' on page 18 undefined on input line 1162 . Overfull \hbox (10.04945pt too wide) in paragraph at lines 1187--1190 [] [] [18] Package natbib Warning: Citation `BdRV' on page 19 undefined on input line 1210 . Underfull \hbox (badness 10000) in paragraph at lines 1216--1217 [] [19] Overfull \hbox (12.70201pt too wide) in paragraph at lines 1229--1230 []\OT1/cmr/m/n/12 Let $[][] : \OML/cmm/m/it/12 }\OT1/cmr/m/n/12 (\OML/cmm/m/it/ 12 W\OT1/cmr/m/n/12 ) \OMS/cmsy/m/n/12 ! \OML/cmm/m/it/12 }\OT1/cmr/m/n/12 (\OM L/cmm/m/it/12 W\OT1/cmr/m/n/12 )$ [] Package natbib Warning: Citation `A99' on page 20 undefined on input line 1236. Underfull \hbox (badness 10000) in paragraph at lines 1236--1237 [] Package natbib Warning: Citation `A99' on page 20 undefined on input line 1240. Package natbib Warning: Citation `A99' on page 20 undefined on input line 1241. [20] Package natbib Warning: Citation `Aumann.agree' on page 21 undefined on input l ine 1259. Overfull \hbox (17.33357pt too wide) in paragraph at lines 1268--1272 []\OT1/cmr/m/n/12 Let $\OMS/cmsy/m/n/12 h\OML/cmm/m/it/12 W; \OMS/cmsy/m/n/12 f \OT1/cmr/m/n/12 ^^E[]\OMS/cmsy/m/n/12 g[]\OML/cmm/m/it/12 ; ^^[\OMS/cmsy/m/n/12 i$ \OT1/cmr/m/n/12 be a Au-mann model [] Package natbib Warning: Citation `Aumann.agree' on page 21 undefined on input l ine 1275. Package natbib Warning: Citation `GP:82' on page 21 undefined on input line 129 1. Package natbib Warning: Citation `PK:90' on page 21 undefined on input line 129 6. Package natbib Warning: Citation `C' on page 21 undefined on input line 1299. Package natbib Warning: Citation `Heifetz' on page 21 undefined on input line 1 305. Package natbib Warning: Citation `PK:90' on page 21 undefined on input line 131 8. [21] Package natbib Warning: Citation `C' on page 22 undefined on input line 1331. Package natbib Warning: Citation `B' on page 22 undefined on input line 1331. Package natbib Warning: Citation `K' on page 22 undefined on input line 1338. [22] Package natbib Warning: Citation `Parikh.levels' on page 23 undefined on input line 1372. Underfull \hbox (badness 10000) in paragraph at lines 1363--1374 [] Underfull \hbox (badness 10000) in paragraph at lines 1390--1396 [] [23] Underfull \hbox (badness 10000) in paragraph at lines 1435--1436 [] Package natbib Warning: Citation `PK92' on page 24 undefined on input line 1439 . Package natbib Warning: Citation `Parikh.levels' on page 24 undefined on input line 1439. Overfull \hbox (5.01251pt too wide) in paragraph at lines 1441--1442 []\OT1/cmr/m/n/12 Let $\OMS/cmsy/m/n/12 A \OT1/cmr/m/n/12 = \OMS/cmsy/m/n/12 f\ OT1/cmr/m/n/12 1\OML/cmm/m/it/12 ; \OT1/cmr/m/n/12 2\OML/cmm/m/it/12 ; [] ; n\O MS/cmsy/m/n/12 g$ \OT1/cmr/m/n/12 be a set of agents. [] [24] Package natbib Warning: Citation `HS98' on page 25 undefined on input line 1459 . Package natbib Warning: Citation `HS99c' on page 25 undefined on input line 145 9. Package natbib Warning: Citation `FGHV99' on page 25 undefined on input line 14 59. Package natbib Warning: Citation `P91' on page 25 undefined on input line 1459. Package natbib Warning: Citation `MZ85' on page 25 undefined on input line 1461 . Package natbib Warning: Citation `BB99:survey' on page 25 undefined on input li ne 1461. Package natbib Warning: Citation `Moss.Viglizzo' on page 25 undefined on input line 1461. Package natbib Warning: Citation `bacharach:choice' on page 25 undefined on inp ut line 1465. [25] Package natbib Warning: Citation `PR:85' on page 26 undefined on input line 150 4. Package natbib Warning: Citation `PR:03' on page 26 undefined on input line 150 4. [26] Package natbib Warning: Citation `PR:85' on page 27 undefined on input line 155 8. Package natbib Warning: Citation `FHMV' on page 27 undefined on input line 1567 . Package natbib Warning: Citation `P05:history' on page 27 undefined on input li ne 1575. Overfull \hbox (4.42015pt too wide) in paragraph at lines 1588--1594 []\OT1/cmr/m/n/12 Fix an epis-temic tem-po-ral frame $\OMS/cmsy/m/n/12 h\OT1/cm r/m/n/12 ^^F\OML/cmm/m/it/12 ; \OMS/cmsy/m/n/12 H\OML/cmm/m/it/12 ; \OMS/cmsy/m /n/12 f^^X[]g[]i$\OT1/cmr/m/n/12 . [] [27] Overfull \hbox (0.5541pt too wide) in paragraph at lines 1610--1613 []\OT1/cmr/m/n/12 An agent $\OML/cmm/m/it/12 i \OMS/cmsy/m/n/12 2 A$ \OT1/cmr/m /n/12 is \OT1/cmr/bx/n/12 syn-chro- [] Package natbib Warning: Citation `FHMV' on page 28 undefined on input line 1618 . Package natbib Warning: Citation `vBL' on page 28 undefined on input line 1618. Package natbib Warning: Citation `HR' on page 28 undefined on input line 1627. Package natbib Warning: Citation `FHMV' on page 28 undefined on input line 1659 . Package natbib Warning: Citation `HR' on page 28 undefined on input line 1660. [28] Underfull \hbox (badness 10000) in paragraph at lines 1761--1762 [] Package natbib Warning: Citation `PPC06:kbo_kra' on page 29 undefined on input line 1770. Package natbib Warning: Citation `MP' on page 29 undefined on input line 1772. [29] Package natbib Warning: Citation `MP' on page 30 undefined on input line 1790. Package natbib Warning: Citation `MP' on page 30 undefined on input line 1817. Package natbib Warning: Citation `G:94' on page 30 undefined on input line 1818 . Package natbib Warning: Citation `G:97' on page 30 undefined on input line 1818 . Package natbib Warning: Citation `MPS' on page 30 undefined on input line 1820. Package natbib Warning: Citation `Pl:89' on page 30 undefined on input line 182 5. Package natbib Warning: Citation `BM:04' on page 30 undefined on input line 182 5. Package natbib Warning: Citation `K:03' on page 30 undefined on input line 1825 . Package natbib Warning: Citation `vD:00' on page 30 undefined on input line 182 5. Package natbib Warning: Citation `Ge:99' on page 30 undefined on input line 182 5. Package natbib Warning: Citation `vB' on page 30 undefined on input line 1825. Package natbib Warning: Citation `vDvdHK' on page 30 undefined on input line 18 25. Package natbib Warning: Citation `vB' on page 30 undefined on input line 1825. [30] Package natbib Warning: Citation `OR' on page 31 undefined on input line 1833. Package natbib Warning: Citation `Aumann:back' on page 31 undefined on input li ne 1844. Package natbib Warning: Citation `Stalnaker:back' on page 31 undefined on input line 1844. Package natbib Warning: Citation `Halpern:back' on page 31 undefined on input l ine 1844. Package natbib Warning: Citation `Meno' on page 31 undefined on input line 1850 . [31] Package natbib Warning: Citation `Ramsey' on page 32 undefined on input line 18 74. Package natbib Warning: Citation `Dunbar' on page 32 undefined on input line 19 05. [32] Package natbib Warning: Citation `Tark05' on page 33 undefined on input line 19 38. Package natbib Warning: Citation `chicago' on page 33 undefined on input line 1 938. Package natbib Warning: Citation `Gettier' on page 33 undefined on input line 1 968. [33] Package natbib Warning: Citation `Li' on page 34 undefined on input line 1991. Package natbib Warning: Citation `Li' on page 34 undefined on input line 1997. Package natbib Warning: Citation `EGS' on page 34 undefined on input line 1997. Package natbib Warning: Citation `P91' on page 34 undefined on input line 1997. [34] Underfull \hbox (badness 10000) in paragraph at lines 2042--2044 [] Underfull \hbox (badness 10000) in paragraph at lines 2045--2051 [] Underfull \hbox (badness 10000) in paragraph at lines 2053--2056 [] Underfull \hbox (badness 10000) in paragraph at lines 2058--2063 [] LaTeX Warning: Reference `multi-agent kripke' on page 35 undefined on input lin e 2080. [35] Overfull \hbox (8.8547pt too wide) in paragraph at lines 2096--2100 []\OT1/cmr/m/n/12 Given multi-agent Kripke model [] Underfull \hbox (badness 10000) in paragraph at lines 2115--2117 [] [36] Overfull \hbox (5.64833pt too wide) in paragraph at lines 2156--2158 []\OT1/cmr/m/it/12 Suppose that $\OML/cmm/m/it/12 p\OT1/cmr/m/n/12 (\OML/cmm/m/ it/12 s\OT1/cmr/m/n/12 ) = \OML/cmm/m/it/12 i$ \OT1/cmr/m/it/12 and there is a chain $\OML/cmm/m/it/12 s \OT1/cmr/m/n/12 = \OML/cmm/m/it/12 s[]R[]s[]R[]s[]R[] [] s[]$\OT1/cmr/m/it/12 . [] Underfull \hbox (badness 10000) in paragraph at lines 2174--2177 [] Underfull \hbox (badness 10000) in paragraph at lines 2179--2182 [] Underfull \hbox (badness 10000) in paragraph at lines 2183--2186 [] [37] [38] Package natbib Warning: Citation `PP:04' on page 39 undefined on input line 227 9. Package natbib Warning: Citation `PP06:comgrph' on page 39 undefined on input l ine 2279. [39] Package natbib Warning: Citation `PP:04' on page 40 undefined on input line 229 1. Package natbib Warning: Citation `brams.taylor:fairdivision' on page 40 undefin ed on input line 2325. Package natbib Warning: Citation `brams.taylor:fairdivision' on page 40 undefin ed on input line 2329. [40] Package natbib Warning: Citation `brams.taylor:fairdivision' on page 41 undefin ed on input line 2381. Package natbib Warning: Citation `brams.taylor:fairdivision' on page 41 undefin ed on input line 2385. [41] Package natbib Warning: Citation `brams.taylor:fairdivision' on page 42 undefin ed on input line 2419. [42] Package natbib Warning: Citation `BramsFish' on page 43 undefined on input line 2489. Package natbib Warning: Citation `PP:vote' on page 43 undefined on input line 2 509. Package natbib Warning: Citation `BramsFish' on page 43 undefined on input line 2518. [43] Package natbib Warning: Citation `CPP:04' on page 44 undefined on input line 25 32. Underfull \hbox (badness 10000) in paragraph at lines 2525--2535 [] [44] Underfull \hbox (badness 10000) in paragraph at lines 2593--2612 [] Underfull \hbox (badness 10000) in paragraph at lines 2613--2614 [] [45] [46] No file lori-notes.bbl. Package natbib Warning: There were undefined citations. [47] (./lori-notes.aux) LaTeX Warning: There were undefined references. ) Here is how much of TeX's memory you used: 13809 strings out of 493876 249300 string characters out of 1150567 359143 words of memory out of 3000000 16722 multiletter control sequences out of 10000+50000 22484 words of font info for 91 fonts, out of 3000000 for 5000 714 hyphenation exceptions out of 8191 47i,13n,69p,786b,829s stack positions out of 5000i,500n,10000p,200000b,50000s Output written on lori-notes.pdf (47 pages, 343111 bytes). PDF statistics: 269 PDF objects out of 1000 (max. 8388607) 0 named destinations out of 1000 (max. 131072) 13 words of extra memory for PDF output out of 10000 (max. 10000000)