Jan van Eijck

	2009
24		Yanjing Wang, Lakshmanan Kuppusamy, Jan van Eijck: Verifying epistemic protocols under common knowledge. TARK 2009: 257-266
	2008
23		Jan van Eijck, Yanjing Wang: Propositional Dynamic Logic as a Logic of Belief Revision. WoLLIC 2008: 136-148
22		Jan van Eijck: Sequentially Indexed Grammars. J. Log. Comput. 18(2): 205-228 (2008)
	2007
21		Jan van Eijck, Simona Orzan: Epistemic Verification of Anonymity. Electr. Notes Theor. Comput. Sci. 168: 159-174 (2007)
	2006
20		Johan van Benthem, Jan van Eijck, Barteld P. Kooi: Logics of communication and change. Inf. Comput. 204(11): 1620-1662 (2006)
	2005
19		Johan van Benthem, Jan van Eijck, Barteld P. Kooi: Common knowledge in update logics. TARK 2005: 253-261
18		Jan van Eijck: Natural Logic for Natural Language. TbiLLC 2005: 216-230
17		Jan van Eijck: Normal Forms for Characteristic Functions on n-ary Relations. J. Log. Comput. 15(2): 85-98 (2005)
	2001
16		Jan van Eijck: Reference Resolution in Context. CLIN 2001: 89-103
15		Jan van Eijck: Constrained Hyper Tableaux. CSL 2001: 232-246
14		Jan van Eijck: Incremental Dynamics. Journal of Logic, Language and Information 10(3): 319-351 (2001)
13		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): (2001)
	2000
12		Jan van Eijck, Juan Heguiabehere, Breanndán Ó Nualláin: Theorem Proving and Programming with Dynamic First Order Logic. WFLP 2000: 56-71
11		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)
10		Jan van Eijck: Making Things Happen. Studia Logica 66(1): 41-58 (2000)
	1999
9		Jan van Eijck: On the proper treatment of context in NL. CLIN 1999
	1997
8		Jan van Eijck: Typed Logics With States. Logic Journal of the IGPL 5(5): (1997)
	1994
7		Jan van Eijck: Presupposition Failure-A Comedy of Errors. Formal Asp. Comput. 6(6A): 766-787 (1994)
6		Johan van Benthem, Jan van Eijck, Vera Stebletsova: Modal Logic, Transition Systems and Processes. J. Log. Comput. 4(5): 811-855 (1994)
	1993
5		Olivier Bouchez, Jan van Eijck, Olivier Istace: A Strategy for Dynamic Interpretation: a Fragment and an Implementation. EACL 1993: 61-70
	1992
4		Jan van Eijck, Fer-Jan de Vries: Dynamic Interpretation and Hoare Deduction. Journal of Logic, Language and Information 1(1): 1-44 (1992)
	1991
3		Jan van Eijck: Logics in AI, European Workshop, JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990, Proceedings Springer 1991
	1989
2		Hiyan Alshawi, Jan van Eijck: Logical Forms in the Core Language Engine. ACL 1989: 25-32
	1988
1		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

Coauthor Index

1	Hiyan Alshawi	[1] [2]
2	Johan van Benthem	[6] [19] [20]
3	Olivier Bouchez	[5]
4	David M. Carter	[1]
5	Juan Heguiabehere	[12] [13]
6	Olivier Istace	[5]
7	Barteld P. Kooi	[19] [20]
8	Lakshmanan Kuppusamy	[24]
9	Robert C. Moore	[1]
10	Douglas B. Moran	[1]
11	Breanndán Ó Nualláin	[12] [13]
12	Simona Orzan	[21]
13	Stephen G. Pulman	[1]
14	Vera Stebletsova	[6]
15	Fer-Jan de Vries	[4]
16	Yanjing Wang	[23] [24]

Colors in the list of coauthors