Jan van Eijck

Hans P. van Ditmarsch, Jan van Eijck, Ignacio Hernández-Antón, Floor Sietsma, Sunil Simon, Fernando Soler-Toscano: Modelling Cryptographic Keys in Dynamic Epistemic Logic with DEMO. PAAMS (Special Sessions) 2012: 155-162

Jan van Eijck, Floor Sietsma: Knowledge and Interaction in Social and Economic Networks. ERCIM News 2011(84): 39 (2011)

Jan van Eijck, Floor Sietsma, Yanjing Wang: Composing models. Journal of Applied Non-Classical Logics 21(3-4): 397-425 (2011)

Jan van Eijck, Floor Sietsma: Message-generated Kripke semantics. AAMAS 2011: 1183-1184

Jan van Eijck: A Geometric Look at Manipulation. CLIMA 2011: 92-104

Jan van Eijck, Floor Sietsma, Sunil Simon: Reflections on Vote Manipulation. LORI 2011: 386-387

Floor Sietsma, Jan van Eijck: Message passing in a dynamic epistemic logic setting. TARK 2011: 212-220

Hans P. van Ditmarsch, Jan van Eijck, William Wu: Verifying one hundred prisoners and a lightbulb. Journal of Applied Non-Classical Logics 20(3): 173-191 (2010)

Jan van Eijck: The language of social software. Synthese 177(Supplement-1): 77-96 (2010)

Yanjing Wang, Floor Sietsma, Jan van Eijck: Logic of information flow on communication channels. AAMAS 2010: 1447-1448

Yanjing Wang, Floor Sietsma, Jan van Eijck: Logic of Information Flow on Communication Channels. DALT 2010: 130-147

Hans P. van Ditmarsch, Jan van Eijck, William Wu: One Hundred Prisoners and a Lightbulb - Logic and Computation. KR 2010

Yanjing Wang, Lakshmanan Kuppusamy, Jan van Eijck: Verifying epistemic protocols under common knowledge. TARK 2009: 257-266

Jan van Eijck: Sequentially Indexed Grammars. J. Log. Comput. 18(2): 205-228 (2008)

Jan van Eijck, Floor Sietsma: Multi-agent Belief Revision with Linked Preferences. LOFT 2008: 174-189

Jan van Eijck, Yanjing Wang: Propositional Dynamic Logic as a Logic of Belief Revision. WoLLIC 2008: 136-148

Jan van Eijck, Simona Orzan: Epistemic Verification of Anonymity. Electr. Notes Theor. Comput. Sci. 168: 159-174 (2007)

Johan van Benthem, Jan van Eijck, Barteld P. Kooi: Logics of communication and change. Inf. Comput. 204(11): 1620-1662 (2006)

Jan van Eijck: Normal Forms for Characteristic Functions on n-ary Relations. J. Log. Comput. 15(2): 85-98 (2005)

Johan van Benthem, Jan van Eijck, Barteld P. Kooi: Common knowledge in update logics. TARK 2005: 253-261

Jan van Eijck: Natural Logic for Natural Language. TbiLLC 2005: 216-230

Jan van Eijck, Juan Heguiabehere, Breanndán Ó Nualláin: Tableau Reasoning and Programming with Dynamic First Order Logic. Logic Journal of the IGPL 9(3): 411-445 (2001)

Jan van Eijck: Incremental Dynamics. Journal of Logic, Language and Information 10(3): 319-351 (2001)

Jan van Eijck: Reference Resolution in Context. CLIN 2001: 89-103

Jan van Eijck: Constrained Hyper Tableaux. CSL 2001: 232-246

Jan van Eijck: Making Things Happen. Studia Logica 66(1): 41-58 (2000)

Jan van Eijck: 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. Sci. Comput. Program. 38(1-3): 147-149 (2000)

Jan van Eijck, Juan Heguiabehere, Breanndán Ó Nualláin: Theorem Proving and Programming with Dynamic First Order Logic. WFLP 2000: 56-71

Jan van Eijck: On the proper treatment of context in NL. CLIN 1999

Jan van Eijck: Typed Logics With States. Logic Journal of the IGPL 5(5): 623-645 (1997)

Jan van Eijck: Presupposition Failure-A Comedy of Errors. Formal Asp. Comput. 6(6A): 766-787 (1994)

Johan van Benthem, Jan van Eijck, Vera Stebletsova: Modal Logic, Transition Systems and Processes. J. Log. Comput. 4(5): 811-855 (1994)

Olivier Bouchez, Jan van Eijck, Olivier Istace: A Strategy for Dynamic Interpretation: a Fragment and an Implementation. EACL 1993: 61-70

Jan van Eijck, Fer-Jan de Vries: Dynamic Interpretation and Hoare Deduction. Journal of Logic, Language and Information 1(1): 1-44 (1992)

Jan van Eijck (Ed.): Logics in AI, European Workshop, JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990, Proceedings. Lecture Notes in Computer Science 478, Springer 1991, isbn 3-540-53686-8

Hiyan Alshawi, Jan van Eijck: Logical Forms in the Core Language Engine. ACL 1989: 25-32

Hiyan Alshawi, David M. Carter, Jan van Eijck, Robert C. Moore, Douglas B. Moran, Stephen G. Pulman: Overview of the Core Language Engine. FGCS 1988: 1108-1115