Jan van Eijck

According to our database, Jan van Eijck authored at least 62 papers between 1988 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Public Announcements, Public Lies and Recoveries.

Kai Li, Jan van Eijck

J. Log. Lang. Inf., 2022

2019

A temporal dynamic deontic logic.

Fengkui Ju, Jan van Eijck

J. Log. Comput., 2019

2018

Symbolic model checking for Dynamic Epistemic Logic - S5 and beyond.

Johan van Benthem, Jan van Eijck, Malvin Gattinger, Kaile Su

J. Log. Comput., 2018

2017

Epistemic protocols for dynamic gossip.

Hans van Ditmarsch, Jan van Eijck, Pere Pardo, Rahim Ramezanian, François Schwarzentruber

J. Appl. Log., 2017

Conditional Belief, Knowledge and Probability.

Jan van Eijck, Kai Li

Proceedings of the Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2017

Knowing Values and Public Inspection.

Jan van Eijck, Malvin Gattinger, Yanjing Wang

Proceedings of the Logic and Its Applications - 7th Indian Conference, 2017

2016

To Do Something Else.

Fengkui Ju, Jan van Eijck

Proceedings of the Deontic Logic and Normative Systems - 13th International Conference, 2016

Update, Probability, Knowledge and Belief.

Jan van Eijck, Bryan Renne

Proceedings of the Advances in Modal Logic 11, 2016

2015

Strategies in Social Software.

Jan van Eijck

Proceedings of the Models of Strategic Reasoning - Logics, Games, and Communities, 2015

Understanding information update in questionnaires.

Jan van Eijck, Tijs van der Storm

Sci. Comput. Program., 2015

Dynamic Gossip.

Hans van Ditmarsch, Jan van Eijck, Pere Pardo, Rahim Ramezanian, François Schwarzentruber

CoRR, 2015

Symbolic Model Checking for Dynamic Epistemic Logic.

Johan van Benthem, Jan van Eijck, Malvin Gattinger, Kaile Su

Proceedings of the Logic, Rationality, and Interaction - 5th International Workshop, 2015

Elements of Epistemic Crypto Logic.

Jan van Eijck, Malvin Gattinger

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

2014

Belief as Willingness to Bet.

Jan van Eijck, Bryan Renne

CoRR, 2014

Epistemic Probability Logic Simplified.

Jan van Eijck, François Schwarzentruber

Proceedings of the Advances in Modal Logic 10, 2014

Dynamic Epistemic Logics.

Jan van Eijck

Proceedings of the Johan van Benthem on Logic and Information Dynamics, 2014

2013

Action Emulation between Canonical Models.

Floor Sietsma, Jan van Eijck

J. Philos. Log., 2013

PDL as a Multi-Agent Strategy Logic.

Jan van Eijck

Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), 2013

2012

Perception and Change in Update Logic.

Jan van Eijck

Proceedings of the Games, Actions and Social Software - Multidisciplinary Aspects, 2012

On the Logic of Lying.

Hans van Ditmarsch, Jan van Eijck, Floor Sietsma, Yanjing Wang

Proceedings of the Games, Actions and Social Software - Multidisciplinary Aspects, 2012

Time Discounting and Time Consistency.

Nicola Dimitri, Jan van Eijck

Proceedings of the Games, Actions and Social Software - Multidisciplinary Aspects, 2012

Action emulation.

Jan van Eijck, Ji Ruan, Tomasz Sadzik

Synth., 2012

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

Proceedings of the Highlights on Practical Applications of Agents and Multi-Agent Systems, 2012

2011

Composing models.

Jan van Eijck, Floor Sietsma, Yanjing Wang

J. Appl. Non Class. Logics, 2011

Knowledge and Interaction in Social and Economic Networks.

Jan van Eijck, Floor Sietsma

ERCIM News, 2011

Message passing in a dynamic epistemic logic setting.

Floor Sietsma, Jan van Eijck

Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2011), 2011

Reflections on Vote Manipulation.

Jan van Eijck, Floor Sietsma, Sunil Simon

Proceedings of the Logic, Rationality, and Interaction - Third International Workshop, 2011

A Geometric Look at Manipulation.

Jan van Eijck

Proceedings of the Computational Logic in Multi-Agent Systems, 2011

Message-generated Kripke semantics.

Jan van Eijck, Floor Sietsma

Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

2010

The language of social software.

Jan van Eijck

Synth., 2010

Verifying one hundred prisoners and a lightbulb.

Hans van Ditmarsch, Jan van Eijck, William Wu

J. Appl. Non Class. Logics, 2010

One Hundred Prisoners and a Lightbulb - Logic and Computation.

Hans van Ditmarsch, Jan van Eijck, William Wu

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Logic of Information Flow on Communication Channels.

Yanjing Wang, Floor Sietsma, Jan van Eijck

Proceedings of the Declarative Agent Languages and Technologies VIII, 2010

Computational Semantics with Functional Programming.

Jan van Eijck, Christina Unger

Cambridge University Press, ISBN: 978-0-521-75760-7, 2010

2009

Verifying epistemic protocols under common knowledge.

Yanjing Wang, Lakshmanan Kuppusamy, Jan van Eijck

Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), 2009

2008

Sequentially Indexed Grammars.

Jan van Eijck

J. Log. Comput., 2008

Propositional Dynamic Logic as a Logic of Belief Revision.

Jan van Eijck, Yanjing Wang

Proceedings of the Logic, 2008

Multi-agent Belief Revision with Linked Preferences.

Jan van Eijck, Floor Sietsma

Proceedings of the Logic and the Foundations of Game and Decision Theory, 2008

2006

The gamut of dynamic logics.

Jan van Eijck, Martin Stokhof

Proceedings of the Logic and the Modalities in the Twentieth Century, 2006

Logics of communication and change.

Johan van Benthem, Jan van Eijck, Barteld P. Kooi

Inf. Comput., 2006

Epistemic Verification of Anonymity.

Jan van Eijck, Simona Orzan

Proceedings of the Second International Workshop on Views on Designing Complex Architectures, 2006

2005

Normal Forms for Characteristic Functions on n-ary Relations.

Jan van Eijck

J. Log. Comput., 2005

Natural Logic for Natural Language.

Jan van Eijck

Proceedings of the Logic, 2005

Common knowledge in update logics.

Johan van Benthem, Jan van Eijck, Barteld P. Kooi

Proceedings of the 10th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2005), 2005

2001

Incremental Dynamics.

Jan van Eijck

J. Log. Lang. Inf., 2001

Tableau Reasoning and Programming with Dynamic First Order Logic.

Jan van Eijck, Juan Heguiabehere, Breanndán Ó Nualláin

Log. J. IGPL, 2001

Constrained Hyper Tableaux.

Jan van Eijck

Proceedings of the Computer Science Logic, 15th International Workshop, 2001

Reference Resolution in Context.

Jan van Eijck

Proceedings of the Computational Linguistics in the Netherlands 2001, 2001

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

Making Things Happen.

Jan van Eijck

Stud Logica, 2000

Theorem Proving and Programming with Dynamic First Order Logic.

Jan van Eijck, Juan Heguiabehere, Breanndán Ó Nualláin

Proceedings of the 9th International Workshop on Functional and Logic Programming, 2000

1999

On the proper treatment of context in NL.

Jan van Eijck

Proceedings of the Computational Linguistics in the Netherlands 1999, 1999

1997

Typed Logics With States.

Jan van Eijck

Log. J. IGPL, 1997

Representing Discourse in Context.

Jan van Eijck, Hans Kamp

Proceedings of the Handbook of Logic and Language., 1997

1995

Reasoning about update logic.

Jan van Eijck, Fer-Jan de Vries

J. Philos. Log., 1995

1994

Modal Logic, Transition Systems and Processes.

Johan van Benthem, Jan van Eijck, Vera Stebletsova

J. Log. Comput., 1994

Presupposition Failure-A Comedy of Errors.

Jan van Eijck

Formal Aspects Comput., 1994

1993

The Dynamics of Description.

Jan van Eijck

J. Semant., 1993

A Strategy for Dynamic Interpretation: a Fragment and an Implementation.

Olivier Bouchez, Jan van Eijck, Olivier Istace

Proceedings of the Sixth Conference of the European Chapter of the Association for Computational Linguistics, 1993

1992

Dynamic Interpretation and Hoare Deduction.

Jan van Eijck, Fer-Jan de Vries

J. Log. Lang. Inf., 1992

1989

Logical Forms in the Core Language Engine.

Hiyan Alshawi, Jan van Eijck

Proceedings of the 27th Annual Meeting of the Association for Computational Linguistics, 1989

1988

Overview of the Core Language Engine.

Hiyan Alshawi, David M. Carter, Jan van Eijck, Robert C. Moore, Douglas B. Moran, Stephen G. Pulman

Proceedings of the International Conference on Fifth Generation Computer Systems, 1988