%A

@book{Alshawi:tcle,
	title = {The Core Language Engine},
	publisher = {MIT Press, Cambridge Mass},
	year = {1992},
	editor = {H. Alshawi},
	address = {Cambridge, Mass., and London, England}
}

@incollection{AlsEij:lfitcl, 
  author = {H. Alshawi and Eijck, J. van}, 
   title = {Logical Forms in the Core Language Engine}, 
   booktitle = {Proceedings of the 27th Congress of the ACL},
   publisher = {ACL}, 
   address = {Vancouver}, 
   year = {1989}
}

@article{Aumann1976:atd,
author = {R.J. Aumann},
title = {Agreeing to disagree},
journal = {Annals of Statistics},
volume = {4(6)},
pages = {1236--1239},
year = 1976 }

%B 

@incollection{BaaderSnyderHandbook01,
        author = {Baader, F. and Snyder, W.},
        title = {Unification Theory},
        booktitle = {Handbook of Automated Reasoning},
        editor = {J.A. Robinson and A. Voronkov},
        publisher = {Elsevier Science Publishers},
        year = {2001},
        OPTccl = {yes},
}

@article{BarCoo:gqanl,
	author = {Barwise, J. and Cooper, R.},
	title = {Generalized Quantifiers and Natural Language},
	journal = {Linguistics and Philosophy},
	year = {1981},
	volume = {4},
	pages = {159--219}
}

@Article{BatigalliBonanno1999:rrobk,
  author = 	 {Battigalli, P. and G. Bonanno},
  title = 	 {Recent Results on Belief, Knowledge and the 
                  Epistemic Foundations of Game Theory},
  journal = 	 {Research in Economics},
  year = 	 1999,
  volume = 	 53,
  pages = 	 {149--225}}

@book{Benthem2011:ldoiai,
author = {J. van Benthem},
title = {Logical Dynamics of Information and Interaction},
publisher = {Cambridge University Press},
year =  {2011},
 }

@Book{BlaBos05:raifnl,
  author = 	 {P. Blackburn and J. Bos},
  title = 	 {Representation and Inference for Natural Language; 
                  A First Course in Computational Semantics},
  publisher = 	 {{CSLI} Lecture Notes},
  year = 	 2005
}

@book{Buering2005,
  author = {D. B{\"{u}}ring},
  title = {Binding Theory},
  series = {Cambridge Textbooks in Linguistics},
  publisher = {Cambridge University Press},
  year = 2005
}

%C 

%D

@Book{DitHoeKoo06:del,
  author =	 {Ditmarsch, H.P. van and W. van der Hoek and B. Kooi},
  title = 	 {Dynamic Epistemic Logic},
  publisher = 	 {Springer},
  year = 	 2006,
  volume =	 337,
  series =	 {Synthese Library}
}

@InProceedings{DitRuaVer05:mcsap,
  author = 	 {Ditmarsch, Hans van and Ji Ruan and Rineke Verbrugge},
  title = 	 {Model Checking Sum and Product},
  booktitle = 	 {{AI 2005}: Advances in Artificial Intelligence: 
                   18th Australian Joint Conference on Artificial Intelligence},
  pages =	 {790--795},
  year =	 2005,
  editor =	 {Shichao Zhang and Ray Jarvis},
  volume =	 3809,
  series =	 {Lecture Notes in Computer Science},
  publisher =	 {Springer-Verlag GmbH}
}



%E

@InCollection{Eijck07:dadoem,
  author = 	 {Eijck, Jan van},
  title = 	 {{DEMO} --- A Demo of Epistemic Modelling},
  booktitle = 	 {Interactive Logic --- Proceedings of the 
                  7th {A}ugustus de {M}organ Workshop},
  pages =	 {305­-363},
  publisher =	 {Amsterdam University Press},
  year =	 2007,
  editor =	 {Benthem, Johan van and Dov Gabbay and Benedikt L\"owe},
  number =	 1,
  series =	 {Texts in Logic and Games}
}

@Book{EijckUng10:cswfp,
  author =	 {Eijck, Jan van and Christina Unger},
  title = 	 {Computational Semantics with Functional Programming},
  publisher = 	 {{C}ambridge {U}niversity {P}ress},
  year = 	 2010
}

%F

@Book{FagHalMosVar:rak,
  author = 	 {R. Fagin and J.Y. Halpern and Y. Moses and M.Y. Vardi},
  title = 	 {Reasoning about Knowledge},
  publisher = 	 {MIT Press},
  year = 	 1995
}

%G

@book{Gardenfors88:kif,
	title = {Knowledge in Flux: 
                 Modelling the Dynamics of Epistemic States},
	publisher = {MIT Press, Cambridge Mass},
	year = {1988},
	author = {P. G\"{a}rdenfors},
	place = {Cambridge, Mass.\ and London}
}

%H

@book{Hintikka:kab,
	title = {Knowledge and Belief: 
     An Introduction to the Logic of the Two Notions},
	publisher = {Cornell University Press},
	year = {1962},
	author = {J. Hintikka},
	address = {Ithaca N.Y.}
}

%I

%J

%K

@Book{Knuth:lp,
  author = 	 {Knuth, D.E.},
  title = 	 {Literate Programming},
  publisher = 	 {CSLI},
  year = 	 1992,
  series = 	 {{CSLI} Lecture Notes, no. 27},
  address = 	 {Stanford}
}

%L

%M

@InCollection{Montague:eaafl,
  author = 	 {R. Montague},
  title = 	 {English as a Formal Language},
  booktitle = 	 {Formal Philosophy; 
                  Selected Papers of {R}ichard {M}ontague},
  pages = 	 {188--221},
  publisher = {Yale University Press},
  year = 	 1974,
  editor = 	 {R.H. Thomason},
  address = 	 {New Haven and London}
}

@InCollection{Montague:ug,
  author = 	 {R. Montague},
  title = 	 {Universal Grammar},
  booktitle = 	 {Formal Philosophy; 
                  Selected Papers of {R}ichard {M}ontague},
  pages = 	 {222--246},
  publisher = {Yale University Press},
  year = 	 1974,
  editor = 	 {R.H. Thomason},
  address = 	 {New Haven and London}
}

@incollection{Montague:tptoqi,
	author = {R. Montague},
	title = {The Proper Treatment of Quantification in Ordinary {E}nglish},
	booktitle = {Approaches to Natural Language},
	year = {1973},
	publisher = {Reidel},
	editor = {J. Hintikka},
	pages = {221--242},
	place = {Dordrecht}
}


%N

%O

%P

%Q

%R

%S

%T

@incollection{Tarski:tcotit, 
        author = {A. Tarski}, 
        title = {The Concept of Truth in the Languages of the
		  Deductive Sciences}, 
        booktitle = {Logic, Semantics, Metamathematics}, 
        editor = {J. Woodger}, 
        publisher = {Oxford}, 
        year = {1956}, 
        note = {First published in {P}olish in 1933}
}

%U

%V

%W

%X

%Y

%Z