Jan van Eijck

Publication Activity (10 Years)

Years Active: 1988-2022
Publications (10 Years): 13

Top Topics

Dynamic Epistemic Logic

Epistemic Logic

Leader Follower

Top Venues

J. Log. Comput.

Advances in Modal Logic

Publications

Kai Li, Jan van Eijck
Public Announcements, Public Lies and Recoveries. J. Log. Lang. Inf. 31 (3) (2022)
Fengkui Ju, Jan van Eijck
A temporal dynamic deontic logic. J. Log. Comput. 29 (2) (2019)
Johan van Benthem, Jan van Eijck, Malvin Gattinger, Kaile Su
Symbolic model checking for Dynamic Epistemic Logic - S5 and beyond. J. Log. Comput. 28 (2) (2018)
Jan van Eijck, Malvin Gattinger, Yanjing Wang
Knowing Values and Public Inspection. ICLA (2017)
Jan van Eijck, Kai Li
Conditional Belief, Knowledge and Probability. TARK (2017)
Hans van Ditmarsch, Jan van Eijck, Pere Pardo, Rahim Ramezanian, François Schwarzentruber
Epistemic protocols for dynamic gossip. J. Appl. Log. 20 (2017)
Jan van Eijck, Malvin Gattinger, Yanjing Wang
Knowing Values and Public Inspection. CoRR (2016)
Fengkui Ju, Jan van Eijck
To Do Something Else. DEON (2016)
Jan van Eijck, Bryan Renne
Update, Probability, Knowledge and Belief. Advances in Modal Logic (2016)
Hans van Ditmarsch, Jan van Eijck, Pere Pardo, Rahim Ramezanian, François Schwarzentruber
Dynamic Gossip. CoRR (2015)
Jan van Eijck, Malvin Gattinger
Elements of Epistemic Crypto Logic. AAMAS (2015)
Johan van Benthem, Jan van Eijck, Malvin Gattinger, Kaile Su
Symbolic Model Checking for Dynamic Epistemic Logic. LORI (2015)
Jan van Eijck, Tijs van der Storm
Understanding information update in questionnaires. Sci. Comput. Program. 97 (2015)
Jan van Eijck, François Schwarzentruber
Epistemic Probability Logic Simplified. Advances in Modal Logic (2014)
Jan van Eijck, Bryan Renne
Belief as Willingness to Bet. CoRR (2014)
Jan van Eijck
PDL as a Multi-Agent Strategy Logic. CoRR (2013)
Jan van Eijck
PDL as a Multi-Agent Strategy Logic. TARK (2013)
Floor Sietsma, Jan van Eijck
Action Emulation between Canonical Models. J. Philos. Log. 42 (6) (2013)
Hans 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)
Jan van Eijck, Ji Ruan, Tomasz Sadzik
Action emulation. Synth. 185 (Supplement-1) (2012)
Jan van Eijck, Floor Sietsma
Message-generated Kripke semantics. AAMAS (2011)
Jan van Eijck, Floor Sietsma, Sunil Simon
Reflections on Vote Manipulation. LORI (2011)
Jan van Eijck, Floor Sietsma, Yanjing Wang
Composing models. J. Appl. Non Class. Logics 21 (3-4) (2011)
Jan van Eijck
A Geometric Look at Manipulation. CLIMA (2011)
Floor Sietsma, Jan van Eijck
Message passing in a dynamic epistemic logic setting. TARK (2011)
Jan van Eijck, Floor Sietsma
Knowledge and Interaction in Social and Economic Networks. ERCIM News 2011 (84) (2011)
Hans van Ditmarsch, Jan van Eijck, William Wu
One Hundred Prisoners and a Lightbulb - Logic and Computation. KR (2010)
Yanjing Wang, Floor Sietsma, Jan van Eijck
Logic of information flow on communication channels. AAMAS (2010)
Jan van Eijck
The language of social software. Synth. 177 (Supplement-1) (2010)
Yanjing Wang, Floor Sietsma, Jan van Eijck
Logic of Information Flow on Communication Channels. DALT (2010)
Hans van Ditmarsch, Jan van Eijck, William Wu
Verifying one hundred prisoners and a lightbulb. J. Appl. Non Class. Logics 20 (3) (2010)
Yanjing Wang, Lakshmanan Kuppusamy, Jan van Eijck
Verifying epistemic protocols under common knowledge. TARK (2009)
Jan van Eijck, Floor Sietsma
Multi-agent Belief Revision with Linked Preferences. LOFT (2008)
Jan van Eijck
Sequentially Indexed Grammars. J. Log. Comput. 18 (2) (2008)
Jan van Eijck, Yanjing Wang
Propositional Dynamic Logic as a Logic of Belief Revision. WoLLIC (2008)
Jan van Eijck, Simona Orzan
Epistemic Verification of Anonymity. Electron. Notes Theor. Comput. Sci. 168 (2007)
Johan van Benthem, Jan van Eijck, Barteld P. Kooi
Logics of communication and change. Inf. Comput. 204 (11) (2006)
Johan van Benthem, Jan van Eijck, Barteld P. Kooi
Common knowledge in update logics. TARK (2005)
Jan van Eijck
Natural Logic for Natural Language. TbiLLC (2005)
Jan van Eijck
Normal Forms for Characteristic Functions on n-ary Relations. J. Log. Comput. 15 (2) (2005)
Jan van Eijck, Juan Heguiabehere, Breanndán Ó Nualláin
Tableau Reasoning and Programming with Dynamic First Order Logic. Log. J. IGPL 9 (3) (2001)
Jan van Eijck
Reference Resolution in Context. CLIN (2001)
Jan van Eijck
Constrained Hyper Tableaux. CSL (2001)
Jan van Eijck
Incremental Dynamics. J. Log. Lang. Inf. 10 (3) (2001)
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) (2000)
Jan van Eijck
Making Things Happen. Stud Logica 66 (1) (2000)
Jan van Eijck, Juan Heguiabehere, Breanndán Ó Nualláin
Theorem Proving and Programming with Dynamic First Order Logic. WFLP (2000)
Jan van Eijck
On the proper treatment of context in NL. CLIN (1999)
Jan van Eijck
Typed Logics With States. Log. J. IGPL 5 (5) (1997)
Jan van Eijck, Fer-Jan de Vries
Reasoning about update logic. J. Philos. Log. 24 (1) (1995)
Johan van Benthem, Jan van Eijck, Vera Stebletsova
Modal Logic, Transition Systems and Processes. J. Log. Comput. 4 (5) (1994)
Jan van Eijck
Presupposition Failure-A Comedy of Errors. Formal Aspects Comput. 6 (6A) (1994)
Jan van Eijck
The Dynamics of Description. J. Semant. 10 (3) (1993)
Olivier Bouchez, Jan van Eijck, Olivier Istace
A Strategy for Dynamic Interpretation: a Fragment and an Implementation. EACL (1993)
Jan van Eijck, Fer-Jan de Vries
Dynamic Interpretation and Hoare Deduction. J. Log. Lang. Inf. 1 (1) (1992)
Hiyan Alshawi, Jan van Eijck
Logical Forms in the Core Language Engine. ACL (1989)
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)