@inproceedings{conf/acl/AlshawiE89,
  added-at = {2011-12-23T00:00:00.000+0100},
  author = {Alshawi, Hiyan and van Eijck, Jan},
  biburl = {http://www.bibsonomy.org/bibtex/2077b4c370ec5c2864db7db7a600b2606/dblp},
  booktitle = {ACL},
  crossref = {conf/acl/1989},
  editor = {Hirschberg, Julia},
  ee = {http://aclweb.org/anthology-new/P/P89/},
  interhash = {51ce4339f5dce18b8acd955819529fee},
  intrahash = {077b4c370ec5c2864db7db7a600b2606},
  keywords = {dblp},
  pages = {25-32},
  publisher = {ACL},
  title = {Logical Forms in the Core Language Engine.},
  url = {http://dblp.uni-trier.de/db/conf/acl/acl1989.html#AlshawiE89},
  year = 1989
}

@inproceedings{conf/ecis/VreedeES95,
  added-at = {2011-11-24T00:00:00.000+0100},
  author = {de Vreede, Gert-Jan and van Eijck, Daniel T. T. and Sol, Henk G.},
  biburl = {http://www.bibsonomy.org/bibtex/27dc349b8223f3da0eba27fb0f632f34a/dblp},
  booktitle = {ECIS},
  crossref = {conf/ecis/1995},
  editor = {Doukidis, Georgios I. and Galliers, Robert D. and Jelassi, Tawfik and Krcmar, Helmut and Land, Frank},
  ee = {http://is2.lse.ac.uk/asp/aspecis/19950054.pdf},
  interhash = {82c7a08b8f1dab0f983b4cc4bd2ca95a},
  intrahash = {7dc349b8223f3da0eba27fb0f632f34a},
  keywords = {dblp},
  pages = {1245-1256},
  title = {Dynamic modelling in practice: The application of dynamic modelling in two service organisations.},
  url = {http://dblp.uni-trier.de/db/conf/ecis/ecis1995.html#VreedeES95},
  year = 1995
}

@inproceedings{conf/atal/EijckS11,
  added-at = {2011-11-18T00:00:00.000+0100},
  author = {van Eijck, Jan and Sietsma, Floor},
  biburl = {http://www.bibsonomy.org/bibtex/22c8884eec00c0056fd5126346ecc8d4d/dblp},
  booktitle = {AAMAS},
  crossref = {conf/atal/2011},
  editor = {Sonenberg, Liz and Stone, Peter and Tumer, Kagan and Yolum, Pinar},
  ee = {http://portal.acm.org/citation.cfm?id=2034478&CFID=69154334&CFTOKEN=45298625},
  interhash = {8942c5c9d6aba6b1c53c5ad55ed98c74},
  intrahash = {2c8884eec00c0056fd5126346ecc8d4d},
  isbn = {978-0-9826571-5-7},
  keywords = {dblp},
  pages = {1183-1184},
  publisher = {IFAAMAS},
  title = {Message-generated Kripke semantics.},
  url = {http://dblp.uni-trier.de/db/conf/atal/aamas2011.html#EijckS11},
  year = 2011
}

@inproceedings{conf/lori/EijckSS11,
  added-at = {2011-10-18T00:00:00.000+0200},
  author = {van Eijck, Jan and Sietsma, Floor and Simon, Sunil},
  biburl = {http://www.bibsonomy.org/bibtex/23c2999e147f7175f38172eff32cf1d39/dblp},
  booktitle = {LORI},
  crossref = {conf/lori/2011},
  editor = {van Ditmarsch, Hans P. and Lang, Jérôme and Ju, Shier},
  ee = {http://dx.doi.org/10.1007/978-3-642-24130-7_30},
  interhash = {31c3811075ac6c0196026e2a6a0ff0a7},
  intrahash = {3c2999e147f7175f38172eff32cf1d39},
  isbn = {978-3-642-24129-1},
  keywords = {dblp},
  pages = {386-387},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Reflections on Vote Manipulation.},
  url = {http://dblp.uni-trier.de/db/conf/lori/lori2011.html#EijckSS11},
  volume = 6953,
  year = 2011
}

@inproceedings{conf/clima/Eijck11,
  added-at = {2011-09-15T00:00:00.000+0200},
  author = {van Eijck, Jan},
  biburl = {http://www.bibsonomy.org/bibtex/2e66c9158ac2eb7601221d824f5552bdc/dblp},
  booktitle = {CLIMA},
  crossref = {conf/clima/2011},
  editor = {Leite, João and Torroni, Paolo and Ågotnes, Thomas and Boella, Guido and van der Torre, Leon},
  ee = {http://dx.doi.org/10.1007/978-3-642-22359-4_8},
  interhash = {86e4c39a01d063c7c62026942046277b},
  intrahash = {e66c9158ac2eb7601221d824f5552bdc},
  isbn = {978-3-642-22358-7},
  keywords = {dblp},
  pages = {92-104},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {A Geometric Look at Manipulation.},
  url = {http://dblp.uni-trier.de/db/conf/clima/clima2011.html#Eijck11},
  volume = 6814,
  year = 2011
}

@article{journals/scp/Eijck00,
  added-at = {2011-08-30T00:00:00.000+0200},
  author = {van Eijck, Jan},
  biburl = {http://www.bibsonomy.org/bibtex/208a440afd7d60888230be8d2f2d010b7/dblp},
  ee = {http://dx.doi.org/10.1016/S0167-6423(99)00044-1},
  interhash = {7737541857fca858da71fa83e005f08d},
  intrahash = {08a440afd7d60888230be8d2f2d010b7},
  journal = {Sci. Comput. Program.},
  keywords = {dblp},
  number = {1-3},
  pages = {147-149},
  title = {Review: The Tbilisi Symposium on Logic, Language and Computation: Selected Papers - Jonathan Ginzburg, Zurab Khasidashvili, Carl Vogel, Jean-Jacques Lévi, and Enric Vallduví (Eds.), Studies in Logic, Language and Information series of CSLI Publications and FoLLI, Stanford, 1998, xxxi + 376 pages, ISBN 1-57586-098-8.},
  url = {http://dblp.uni-trier.de/db/journals/scp/scp38.html#Eijck00},
  volume = 38,
  year = 2000
}

@article{journals/jancl/DitmarschEW10,
  added-at = {2011-08-12T00:00:00.000+0200},
  author = {van Ditmarsch, Hans P. and van Eijck, Jan and Wu, William},
  biburl = {http://www.bibsonomy.org/bibtex/2a68c69279c7b956ec5bdc7c514d921b4/dblp},
  ee = {http://jancl.e-revues.com/article.jsp?articleId=15671},
  interhash = {dcfa55934e794e1fa5de0e112f7fb5ef},
  intrahash = {a68c69279c7b956ec5bdc7c514d921b4},
  journal = {Journal of Applied Non-Classical Logics},
  keywords = {dblp},
  number = 3,
  pages = {173-191},
  title = {Verifying one hundred prisoners and a lightbulb.},
  url = {http://dblp.uni-trier.de/db/journals/jancl/jancl20.html#DitmarschEW10},
  volume = 20,
  year = 2010
}

@inproceedings{conf/tark/SietsmaE11,
  added-at = {2011-07-13T00:00:00.000+0200},
  author = {Sietsma, Floor and van Eijck, Jan},
  biburl = {http://www.bibsonomy.org/bibtex/299ffdf2c2cfbeb9cec2dfa7310a3d161/dblp},
  booktitle = {TARK},
  crossref = {conf/tark/2011},
  editor = {Apt, Krzysztof R.},
  ee = {http://doi.acm.org/10.1145/2000378.2000404},
  interhash = {2ee7ca02783823dd38536465db99c7d2},
  intrahash = {99ffdf2c2cfbeb9cec2dfa7310a3d161},
  isbn = {978-1-4503-0707-9},
  keywords = {dblp},
  pages = {212-220},
  publisher = {ACM},
  title = {Message passing in a dynamic epistemic logic setting.},
  url = {http://dblp.uni-trier.de/db/conf/tark/tark2011.html#SietsmaE11},
  year = 2011
}

@article{journals/igpl/Eijck97,
  added-at = {2011-06-29T00:00:00.000+0200},
  author = {van Eijck, Jan},
  biburl = {http://www.bibsonomy.org/bibtex/2ff17f0667aabbc9c74cf421c0f3f9712/dblp},
  ee = {http://dx.doi.org/10.1093/jigpal/5.5.623},
  interhash = {55e8826e0aae13597870c1e79f12790a},
  intrahash = {ff17f0667aabbc9c74cf421c0f3f9712},
  journal = {Logic Journal of the IGPL},
  keywords = {dblp},
  number = 5,
  pages = {623-645},
  title = {Typed Logics With States.},
  url = {http://dblp.uni-trier.de/db/journals/igpl/igpl5.html#Eijck97},
  volume = 5,
  year = 1997
}

@article{journals/igpl/EijckHN01,
  added-at = {2011-06-29T00:00:00.000+0200},
  author = {van Eijck, Jan and Heguiabehere, Juan and Nualláin, Breanndán Ó},
  biburl = {http://www.bibsonomy.org/bibtex/23361d140bd2b2f1d2ec7e275819aa4e7/dblp},
  ee = {http://dx.doi.org/10.1093/jigpal/9.3.411},
  interhash = {efc37c163c28b8882abb0e2b4c905f09},
  intrahash = {3361d140bd2b2f1d2ec7e275819aa4e7},
  journal = {Logic Journal of the IGPL},
  keywords = {dblp},
  number = 3,
  pages = {411-445},
  title = {Tableau Reasoning and Programming with Dynamic First Order Logic.},
  url = {http://dblp.uni-trier.de/db/journals/igpl/igpl9.html#EijckHN01},
  volume = 9,
  year = 2001
}

@article{journals/logcom/BenthemES94,
  added-at = {2011-06-29T00:00:00.000+0200},
  author = {van Benthem, Johan and van Eijck, Jan and Stebletsova, Vera},
  biburl = {http://www.bibsonomy.org/bibtex/2461ff38fc9f46c417219bbf923878701/dblp},
  ee = {http://dx.doi.org/10.1093/logcom/4.5.811},
  interhash = {849b56666017f5c9d56e80809a8e7aef},
  intrahash = {461ff38fc9f46c417219bbf923878701},
  journal = {J. Log. Comput.},
  keywords = {dblp},
  number = 5,
  pages = {811-855},
  title = {Modal Logic, Transition Systems and Processes.},
  url = {http://dblp.uni-trier.de/db/journals/logcom/logcom4.html#BenthemES94},
  volume = 4,
  year = 1994
}

@inproceedings{conf/csl/Eijck01,
  added-at = {2011-06-28T00:00:00.000+0200},
  author = {van Eijck, Jan},
  biburl = {http://www.bibsonomy.org/bibtex/272fcb4d9614e4c4037e89868be88216d/dblp},
  booktitle = {CSL},
  crossref = {conf/csl/2001},
  editor = {Fribourg, Laurent},
  ee = {http://dx.doi.org/10.1007/3-540-44802-0_17},
  interhash = {bb5bdf3868abaaecfe2aa293d90d6155},
  intrahash = {72fcb4d9614e4c4037e89868be88216d},
  isbn = {3-540-42554-3},
  keywords = {dblp},
  pages = {232-246},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Constrained Hyper Tableaux.},
  url = {http://dblp.uni-trier.de/db/conf/csl/csl2001.html#Eijck01},
  volume = 2142,
  year = 2001
}

@article{journals/ercim/EijckS11,
  added-at = {2011-06-22T00:00:00.000+0200},
  author = {van Eijck, Jan and Sietsma, Floor},
  biburl = {http://www.bibsonomy.org/bibtex/24907876071db3e10d449eab162d9502d/dblp},
  ee = {http://ercim-news.ercim.eu/en84/special/knowledge-and-interaction-in-social-and-economic-networks},
  interhash = {437d82b0d0cabed49d4add59bd7a9ff5},
  intrahash = {4907876071db3e10d449eab162d9502d},
  journal = {ERCIM News},
  keywords = {dblp},
  number = 84,
  pages = 39,
  title = {Knowledge and Interaction in Social and Economic Networks.},
  url = {http://dblp.uni-trier.de/db/journals/ercim/ercim2011.html#EijckS11},
  volume = 2011,
  year = 2011
}

@article{journals/sLogica/Eijck00,
  added-at = {2011-06-03T00:00:00.000+0200},
  author = {van Eijck, Jan},
  biburl = {http://www.bibsonomy.org/bibtex/26caa4864bde096a80dcb68f597ab573e/dblp},
  ee = {http://dx.doi.org/10.1023/A:1026792711025},
  interhash = {68df59938be29e36f53ff959949dd0bc},
  intrahash = {6caa4864bde096a80dcb68f597ab573e},
  journal = {Studia Logica},
  keywords = {dblp},
  number = 1,
  pages = {41-58},
  title = {Making Things Happen.},
  url = {http://dblp.uni-trier.de/db/journals/sLogica/sLogica66.html#Eijck00},
  volume = 66,
  year = 2000
}

@article{journals/jolli/Eijck01,
  added-at = {2011-05-26T00:00:00.000+0200},
  author = {van Eijck, Jan},
  biburl = {http://www.bibsonomy.org/bibtex/2a539d5dc91edea0030ce49c11116c6b1/dblp},
  ee = {http://dx.doi.org/10.1023/A:1011251627260},
  interhash = {9014cab80f0b0cf53c07f7846f16c70f},
  intrahash = {a539d5dc91edea0030ce49c11116c6b1},
  journal = {Journal of Logic, Language and Information},
  keywords = {dblp},
  number = 3,
  pages = {319-351},
  title = {Incremental Dynamics.},
  url = {http://dblp.uni-trier.de/db/journals/jolli/jolli10.html#Eijck01},
  volume = 10,
  year = 2001
}

@article{journals/jolli/EuckV92,
  added-at = {2011-05-26T00:00:00.000+0200},
  author = {van Eijck, Jan and de Vries, Fer-Jan},
  biburl = {http://www.bibsonomy.org/bibtex/23aa8d248afddba04e440906cd782e80e/dblp},
  ee = {http://dx.doi.org/10.1007/BF00203385},
  interhash = {93c8ab9be3a3cce9bb8ee2cb9e32873c},
  intrahash = {3aa8d248afddba04e440906cd782e80e},
  journal = {Journal of Logic, Language and Information},
  keywords = {dblp},
  number = 1,
  pages = {1-44},
  title = {Dynamic Interpretation and Hoare Deduction.},
  url = {http://dblp.uni-trier.de/db/journals/jolli/jolli1.html#EuckV92},
  volume = 1,
  year = 1992
}

@article{journals/fac/Eijck94,
  added-at = {2011-05-25T00:00:00.000+0200},
  author = {van Eijck, Jan},
  biburl = {http://www.bibsonomy.org/bibtex/275f7ac3294aae03fbd982d342ca0b3fd/dblp},
  ee = {http://dx.doi.org/10.1007/BF01213602},
  interhash = {70a3abd00a2d104591959fa25c6bf1d6},
  intrahash = {75f7ac3294aae03fbd982d342ca0b3fd},
  journal = {Formal Asp. Comput.},
  keywords = {dblp},
  number = {6A},
  pages = {766-787},
  title = {Presupposition Failure-A Comedy of Errors.},
  url = {http://dblp.uni-trier.de/db/journals/fac/fac6.html#Eijck94},
  volume = 6,
  year = 1994
}

@inproceedings{conf/dalt/WangSE10,
  added-at = {2011-04-19T00:00:00.000+0200},
  author = {Wang, Yanjing and Sietsma, Floor and van Eijck, Jan},
  biburl = {http://www.bibsonomy.org/bibtex/2c56d912546edee7ea2dea0c024f0146e/dblp},
  booktitle = {DALT},
  crossref = {conf/dalt/2010},
  editor = {Omicini, Andrea and Sardiña, Sebastian and Vasconcelos, Wamberto Weber},
  ee = {http://dx.doi.org/10.1007/978-3-642-20715-0_8},
  interhash = {ced9aa035b177f4c6dea70175a1b9130},
  intrahash = {c56d912546edee7ea2dea0c024f0146e},
  isbn = {978-3-642-20714-3},
  keywords = {dblp},
  pages = {130-147},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Logic of Information Flow on Communication Channels.},
  url = {http://dblp.uni-trier.de/db/conf/dalt/dalt2010.html#WangSE10},
  volume = 6619,
  year = 2010
}

@article{journals/synthese/Eijck10,
  added-at = {2011-04-11T00:00:00.000+0200},
  author = {van Eijck, Jan},
  biburl = {http://www.bibsonomy.org/bibtex/2c364224d6ffb3720093fdc10f6eec558/dblp},
  ee = {http://dx.doi.org/10.1007/s11229-010-9766-7},
  interhash = {13f64e6924b5284f3eff2f32bee5dca2},
  intrahash = {c364224d6ffb3720093fdc10f6eec558},
  journal = {Synthese},
  keywords = {dblp},
  number = {Supplement-1},
  pages = {77-96},
  title = {The language of social software.},
  url = {http://dblp.uni-trier.de/db/journals/synthese/synthese177.html#Eijck10},
  volume = 177,
  year = 2010
}

@inproceedings{conf/atal/WangSE10,
  added-at = {2010-09-26T00:00:00.000+0200},
  author = {Wang, Yanjing and Sietsma, Floor and van Eijck, Jan},
  biburl = {http://www.bibsonomy.org/bibtex/2308408ca447f28004f57e006b0760c4e/dblp},
  booktitle = {AAMAS},
  crossref = {conf/atal/2010},
  editor = {van der Hoek, Wiebe and Kaminka, Gal A. and Lespérance, Yves and Luck, Michael and Sen, Sandip},
  ee = {http://doi.acm.org/10.1145/1838206.1838425},
  interhash = {ced9aa035b177f4c6dea70175a1b9130},
  intrahash = {308408ca447f28004f57e006b0760c4e},
  isbn = {978-0-9826571-1-9},
  keywords = {dblp},
  pages = {1447-1448},
  publisher = {IFAAMAS},
  title = {Logic of information flow on communication channels.},
  url = {http://dblp.uni-trier.de/db/conf/atal/aamas2010.html#WangSE10},
  year = 2010
}