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

Logical Forms in the Core Language Engine. - Hiyan Alshawi; Jan van Eijck (ACL, 1989)

Dynamic Interpretation and Hoare Deduction. - Jan van Eijck; Fer-Jan de Vries (J. Log. Lang. Inf., 1992)

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

The Dynamics of Description. - Jan van Eijck (J. Semant., 1993)

Presupposition Failure-A Comedy of Errors. - Jan van Eijck (Formal Aspects Comput., 1994)

Modal Logic, Transition Systems and Processes. - Johan van Benthem; Jan van Eijck; Vera Stebletsova (J. Log. Comput., 1994)

Reasoning about update logic. - Jan van Eijck; Fer-Jan de Vries (J. Philos. Log., 1995)

Representing Discourse in Context. - Jan van Eijck; Hans Kamp (Handbook of Logic and Language, 1997)

Typed Logics With States. - Jan van Eijck (Log. J. IGPL, 1997)

On the proper treatment of context in NL. - Jan van Eijck (CLIN, 1999)

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

Making Things Happen. - Jan van Eijck (Stud Logica, 2000)

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. - Jan van Eijck (Sci. Comput. Program., 2000)

Reference Resolution in Context. - Jan van Eijck (CLIN, 2001)

Constrained Hyper Tableaux. - Jan van Eijck (CSL, 2001)

Tableau Reasoning and Programming with Dynamic First Order Logic. - Jan van Eijck; Juan Heguiabehere; Breanndán Ó Nualláin (Log. J. IGPL, 2001)

Incremental Dynamics. - Jan van Eijck (J. Log. Lang. Inf., 2001)

Common knowledge in update logics. - Johan van Benthem; Jan van Eijck; Barteld P. Kooi (TARK, 2005)

Natural Logic for Natural Language. - Jan van Eijck (TbiLLC, 2005)

Normal Forms for Characteristic Functions on n-ary Relations. - Jan van Eijck (J. Log. Comput., 2005)

Epistemic Verification of Anonymity. - Jan van Eijck; Simona Orzan (VODCA@FOSAD, 2006)

Logics of communication and change. - Johan van Benthem; Jan van Eijck; Barteld P. Kooi (Inf. Comput., 2006)

The gamut of dynamic logics. - Jan van Eijck; Martin Stokhof (Logic and the Modalities in the Twentieth Century, 2006)

Multi-agent Belief Revision with Linked Preferences. - Jan van Eijck; Floor Sietsma (LOFT, 2008)

Propositional Dynamic Logic as a Logic of Belief Revision. - Jan van Eijck; Yanjing Wang 001 (WoLLIC, 2008)

Sequentially Indexed Grammars. - Jan van Eijck (J. Log. Comput., 2008)

Verifying epistemic protocols under common knowledge. - Yanjing Wang 001; Lakshmanan Kuppusamy; Jan van Eijck (TARK, 2009)

Computational Semantics with Functional Programming. - Jan van Eijck; Christina Unger (Cambridge University Press, 2010)

Logic of Information Flow on Communication Channels. - Yanjing Wang 001; Floor Sietsma; Jan van Eijck (DALT, 2010)

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

Verifying one hundred prisoners and a lightbulb. - Hans van Ditmarsch; Jan van Eijck; William Wu (J. Appl. Non Class. Logics, 2010)

The language of social software. - Jan van Eijck (Synth., 2010)

Message-generated Kripke semantics. - Jan van Eijck; Floor Sietsma (AAMAS, 2011)

A Geometric Look at Manipulation. - Jan van Eijck (CLIMA, 2011)

Reflections on Vote Manipulation. - Jan van Eijck; Floor Sietsma; Sunil Simon (LORI, 2011)

Message passing in a dynamic epistemic logic setting. - Floor Sietsma; Jan van Eijck (TARK, 2011)

Knowledge and Interaction in Social and Economic Networks. - Jan van Eijck; Floor Sietsma (ERCIM News, 2011)

Composing models. - Jan van Eijck; Floor Sietsma; Yanjing Wang 001 (J. Appl. Non Class. Logics, 2011)

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

Action emulation. - Jan van Eijck; Ji Ruan; Tomasz Sadzik (Synth., 2012)

Time Discounting and Time Consistency. - Nicola Dimitri; Jan van Eijck (Games, Actions and Social Software, 2012)

On the Logic of Lying. - Hans van Ditmarsch; Jan van Eijck; Floor Sietsma; Yanjing Wang 001 (Games, Actions and Social Software, 2012)

Perception and Change in Update Logic. - Jan van Eijck (Games, Actions and Social Software, 2012)

PDL as a Multi-Agent Strategy Logic. - Jan van Eijck (TARK, 2013)

Action Emulation between Canonical Models. - Floor Sietsma; Jan van Eijck (J. Philos. Log., 2013)

Dynamic Epistemic Logics. - Jan van Eijck (Johan van Benthem on Logic and Information Dynamics, 2014)

Epistemic Probability Logic Simplified. - Jan van Eijck; François Schwarzentruber (Advances in Modal Logic, 2014)

Belief as Willingness to Bet. - Jan van Eijck; Bryan Renne (CoRR, 2014)

Elements of Epistemic Crypto Logic. - Jan van Eijck; Malvin Gattinger (AAMAS, 2015)

Symbolic Model Checking for Dynamic Epistemic Logic. - Johan van Benthem; Jan van Eijck; Malvin Gattinger; Kaile Su (LORI, 2015)

Dynamic Gossip. - Hans van Ditmarsch; Jan van Eijck; Pere Pardo; Rahim Ramezanian; François Schwarzentruber (CoRR, 2015)

Understanding information update in questionnaires. - Jan van Eijck; Tijs van der Storm (Sci. Comput. Program., 2015)

Strategies in Social Software. - Jan van Eijck (Models of Strategic Reasoning, 2015)

Update, Probability, Knowledge and Belief. - Jan van Eijck; Bryan Renne (Advances in Modal Logic, 2016)

To Do Something Else. - Fengkui Ju; Jan van Eijck (DEON, 2016)

Knowing Values and Public Inspection. - Jan van Eijck; Malvin Gattinger; Yanjing Wang 001 (ICLA, 2017)

Conditional Belief, Knowledge and Probability. - Jan van Eijck; Kai Li (TARK, 2017)

Epistemic protocols for dynamic gossip. - Hans van Ditmarsch; Jan van Eijck; Pere Pardo; Rahim Ramezanian; François Schwarzentruber (J. Appl. Log., 2017)

Symbolic model checking for Dynamic Epistemic Logic - S5 and beyond. - Johan van Benthem; Jan van Eijck; Malvin Gattinger; Kaile Su (J. Log. Comput., 2018)

A temporal dynamic deontic logic. - Fengkui Ju; Jan van Eijck (J. Log. Comput., 2019)

Public Announcements, Public Lies and Recoveries. - Kai Li; Jan van Eijck (J. Log. Lang. Inf., 2022)