default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJan van Eijck
Person information
- affiliation: CWI, Amsterdam, The Netherlands
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
[j23]Kai Li, Jan van Eijck:
Public Announcements, Public Lies and Recoveries. J. Log. Lang. Inf. 31(3): 423-450 (2022)
2010 – 2019
- 2019
- [j22]Fengkui Ju
, Jan van Eijck:
A temporal dynamic deontic logic. J. Log. Comput. 29(2): 265-284 (2019) - 2018
- [j21]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): 367-402 (2018) - 2017
- [j20]Hans van Ditmarsch, Jan van Eijck, Pere Pardo, Rahim Ramezanian, François Schwarzentruber:
Epistemic protocols for dynamic gossip. J. Appl. Log. 20: 1-31 (2017) - [c29]Jan van Eijck, Malvin Gattinger, Yanjing Wang:
Knowing Values and Public Inspection. ICLA 2017: 77-90 - [c28]Jan van Eijck, Kai Li:
Conditional Belief, Knowledge and Probability. TARK 2017: 188-206 - 2016
- [c27]Jan van Eijck, Bryan Renne:
Update, Probability, Knowledge and Belief. Advances in Modal Logic 2016: 551-570 - [c26]Fengkui Ju, Jan van Eijck:
To Do Something Else. DEON 2016: 109-122 - [i5]Jan van Eijck, Malvin Gattinger, Yanjing Wang:
Knowing Values and Public Inspection. CoRR abs/1609.03338 (2016) - 2015
- [j19]Jan van Eijck, Tijs van der Storm:
Understanding information update in questionnaires. Sci. Comput. Program. 97: 69-74 (2015) - [c25]Jan van Eijck, Malvin Gattinger:
Elements of Epistemic Crypto Logic. AAMAS 2015: 1795-1796 - [c24]Johan van Benthem, Jan van Eijck, Malvin Gattinger, Kaile Su:
Symbolic Model Checking for Dynamic Epistemic Logic. LORI 2015: 366-378 - [p6]Jan van Eijck:
Strategies in Social Software. Models of Strategic Reasoning 2015: 292-317 - [i4]Hans van Ditmarsch, Jan van Eijck, Pere Pardo, Rahim Ramezanian, François Schwarzentruber:
Dynamic Gossip. CoRR abs/1511.00867 (2015) - 2014
- [c23]Jan van Eijck, François Schwarzentruber:
Epistemic Probability Logic Simplified. Advances in Modal Logic 2014: 158-177 - [p5]Jan van Eijck:
Dynamic Epistemic Logics. Johan van Benthem on Logic and Information Dynamics 2014: 175-202 - [i3]Jan van Eijck, Bryan Renne:
Belief as Willingness to Bet. CoRR abs/1412.5090 (2014) - 2013
- [j18]Floor Sietsma, Jan van Eijck:
Action Emulation between Canonical Models. J. Philos. Log. 42(6): 905-925 (2013) - [c22]Jan van Eijck:
PDL as a Multi-Agent Strategy Logic. TARK 2013 - [i2]Jan van Eijck:
PDL as a Multi-Agent Strategy Logic. CoRR abs/1310.6437 (2013) - 2012
- [j17]Jan van Eijck, Ji Ruan, Tomasz Sadzik:
Action emulation. Synth. 185(Supplement-1): 131-151 (2012) - [c21]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: 155-162 - [p4]Nicola Dimitri, Jan van Eijck:
Time Discounting and Time Consistency. Games, Actions and Social Software 2012: 29-38 - [p3]Hans van Ditmarsch, Jan van Eijck, Floor Sietsma, Yanjing Wang:
On the Logic of Lying. Games, Actions and Social Software 2012: 41-72 - [p2]Jan van Eijck:
Perception and Change in Update Logic. Games, Actions and Social Software 2012: 119-140 - [e2]Jan van Eijck, Rineke Verbrugge:
Games, Actions and Social Software - Multidisciplinary Aspects. Lecture Notes in Computer Science 7010, Springer 2012, ISBN 978-3-642-29325-2 [contents] - 2011
- [j16]Jan van Eijck, Floor Sietsma, Yanjing Wang:
Composing models. J. Appl. Non Class. Logics 21(3-4): 397-425 (2011) - [c20]Jan van Eijck, Floor Sietsma:
Message-generated Kripke semantics. AAMAS 2011: 1183-1184 - [c19]Jan van Eijck:
A Geometric Look at Manipulation. CLIMA 2011: 92-104 - [c18]Jan van Eijck, Floor Sietsma, Sunil Simon:
Reflections on Vote Manipulation. LORI 2011: 386-387 - [c17]Floor Sietsma, Jan van Eijck:
Message passing in a dynamic epistemic logic setting. TARK 2011: 212-220 - [i1]Jan van Eijck, Floor Sietsma:
Knowledge and Interaction in Social and Economic Networks. ERCIM News 2011(84): 39 (2011) - 2010
- [b1]Jan van Eijck, Christina Unger:
Computational Semantics with Functional Programming. Cambridge University Press 2010, ISBN 978-0-521-75760-7, pp. I-XV, 1-405 - [j15]Hans van Ditmarsch, Jan van Eijck, William Wu:
Verifying one hundred prisoners and a lightbulb. J. Appl. Non Class. Logics 20(3): 173-191 (2010) - [j14]Jan van Eijck:
The language of social software. Synth. 177(Supplement-1): 77-96 (2010) - [c16]Yanjing Wang, Floor Sietsma, Jan van Eijck:
Logic of information flow on communication channels. AAMAS 2010: 1447-1448 - [c15]Yanjing Wang, Floor Sietsma, Jan van Eijck:
Logic of Information Flow on Communication Channels. DALT 2010: 130-147 - [c14]Hans van Ditmarsch, Jan van Eijck, William Wu:
One Hundred Prisoners and a Lightbulb - Logic and Computation. KR 2010
2000 – 2009
- 2009
- [c13]Yanjing Wang, Lakshmanan Kuppusamy, Jan van Eijck:
Verifying epistemic protocols under common knowledge. TARK 2009: 257-266 - 2008
- [j13]Jan van Eijck:
Sequentially Indexed Grammars. J. Log. Comput. 18(2): 205-228 (2008) - [c12]Jan van Eijck, Floor Sietsma:
Multi-agent Belief Revision with Linked Preferences. LOFT 2008: 174-189 - [c11]Jan van Eijck, Yanjing Wang:
Propositional Dynamic Logic as a Logic of Belief Revision. WoLLIC 2008: 136-148 - 2006
- [j12]Johan van Benthem, Jan van Eijck, Barteld P. Kooi:
Logics of communication and change. Inf. Comput. 204(11): 1620-1662 (2006) - [c10]Jan van Eijck, Simona Orzan:
Epistemic Verification of Anonymity. VODCA@FOSAD 2006: 159-174 - [r1]Jan van Eijck, Martin Stokhof:
The gamut of dynamic logics. Logic and the Modalities in the Twentieth Century 2006: 499-600 - 2005
- [j11]Jan van Eijck:
Normal Forms for Characteristic Functions on n-ary Relations. J. Log. Comput. 15(2): 85-98 (2005) - [c9]Johan van Benthem, Jan van Eijck, Barteld P. Kooi:
Common knowledge in update logics. TARK 2005: 253-261 - [c8]Jan van Eijck:
Natural Logic for Natural Language. TbiLLC 2005: 216-230 - 2001
- [j10]Jan van Eijck, Juan Heguiabehere, Breanndán Ó Nualláin:
Tableau Reasoning and Programming with Dynamic First Order Logic. Log. J. IGPL 9(3): 411-445 (2001) - [j9]Jan van Eijck:
Incremental Dynamics. J. Log. Lang. Inf. 10(3): 319-351 (2001) - [c7]Jan van Eijck:
Reference Resolution in Context. CLIN 2001: 89-103 - [c6]Jan van Eijck:
Constrained Hyper Tableaux. CSL 2001: 232-246 - 2000
- [j8]Jan van Eijck:
Making Things Happen. Stud Logica 66(1): 41-58 (2000) - [j7]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) - [c5]Jan van Eijck, Juan Heguiabehere, Breanndán Ó Nualláin:
Theorem Proving and Programming with Dynamic First Order Logic. WFLP 2000: 56-71
1990 – 1999
- 1999
- [c4]Jan van Eijck:
On the proper treatment of context in NL. CLIN 1999 - 1997
- [j6]Jan van Eijck:
Typed Logics With States. Log. J. IGPL 5(5): 623-645 (1997) - [p1]Jan van Eijck, Hans Kamp:
Representing Discourse in Context. Handbook of Logic and Language 1997: 179-237 - 1995
- [j5]Jan van Eijck, Fer-Jan de Vries:
Reasoning about update logic. J. Philos. Log. 24(1): 19-45 (1995) - 1994
- [j4]Jan van Eijck:
Presupposition Failure-A Comedy of Errors. Formal Aspects Comput. 6(6A): 766-787 (1994) - [j3]Johan van Benthem, Jan van Eijck, Vera Stebletsova:
Modal Logic, Transition Systems and Processes. J. Log. Comput. 4(5): 811-855 (1994) - 1993
- [j2]Jan van Eijck:
The Dynamics of Description. J. Semant. 10(3): 239-267 (1993) - [c3]Olivier Bouchez, Jan van Eijck, Olivier Istace:
A Strategy for Dynamic Interpretation: a Fragment and an Implementation. EACL 1993: 61-70 - 1992
- [j1]Jan van Eijck, Fer-Jan de Vries:
Dynamic Interpretation and Hoare Deduction. J. Log. Lang. Inf. 1(1): 1-44 (1992) - 1991
- [e1]Jan van Eijck:
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 [contents]
1980 – 1989
- 1989
- [c2]Hiyan Alshawi, Jan van Eijck:
Logical Forms in the Core Language Engine. ACL 1989: 25-32 - 1988
- [c1]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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:39 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
