Jan van Eijck

About Me

I am a Senior Researcher at CWI (Centre for Mathematics and Computer Science), Amsterdam, and part time full professor of computational semantics at ILLC (Institute for Logic, Language and Computation), Amsterdam. Until november 2011 I was part-time full professor of computational linguistics at Uil-OTS (Research Institute for Language and Speech), Utrecht. I teach Software Specification and Testing in the Master of Software Engineering curriculum at the University of Amsterdam. I am former scientific director of the Dutch Research School in Logic (1997 -- 2002). I am a former employee of SRI-International (Cambridge UK Laboratory), where I was involved in the design of an industrial scale natural language processing project. Before that, I held an associate professorship at the University of Tilburg. I have a PhD from the University of Groningen (1985). Here is my CV.

Events and Activities

2017

Public Announcements and Public Lies, talk given at the Lorentz Center workshop on the Invention of Lying, January 12, 2017.
Public Lies and How to Recover From Them, talk given at the Workshop on Rationality, Logic, and Decisions, January 24, 2017, organized at the occasion of the PhD defense of Paolo Galeazzi (Jan 25).

2016

Belief in Social Software, keynote address at Games, Logic and Society, An 80th Birthday Celebration Honoring Rohit Parikh, City University of New York, December 1-2, 2016.
Member of the MOL Thesis Committee for Arianna Novaro, Sept 26.
Member of the MOL Thesis Committee for Sirin Botan, Sept 26.
Host of Kai Li, PhD student from Peking University, who is visiting CWI for the academic year 16/17.
Host of dr. Fengkui Ju from Beijing Normal University, who is paying a scientific visit to ILLC for the academic year 16/17.
External examiner of PhD Thesis of Faustine Maffre, Sept 23, Toulouse (University Paul Sabatier).
Update, Probability, Knowledge and Belief, talk at Advances in Modal Logic 2016, Budapest, Sept 2 (joint work with Brian Renne).
Modelling Legal Relations, talk at LOFT conference, Maastricht, July 20 (joint work with Fengkui Ju).
Talk for DigiVita Zomerkamp 2016 (introduction to programming for fifty girls in the age range 11-15), July 18.
Supervisor of the MSc Thesis Software Engineering of Ardavan Ghaffari, August 23.
Supervisor of the MSc Thesis Software Engineering of Joel Bartholomew, July 13.
Working visit to Gothenburgh (group of Shalom Lappin), Feb 21 - 24.
External examiner of the BA Thesis of Declan Thompson, on Boolean network games, University of Auckland, New Zealand.
Member of the MOL thesis committee for Eli Drumm, July 4, Amsterdam.
Supervisor of the MOL thesis for Philip Michgelsen, July 5, Amsterdam.
Member of the MOL thesis committee for Leanne Streekstra, July 7, Amsterdam.
Participant of the Trimestre Thematique CIPPMI at University Paul Sabatier, Toulouse, April, May, June 2016. I gave a course "Epistemic Logic Meets Probability".
Supervisor of the BSc theses (AI) for Thomas Unger, Wessel Klijnsma and Winand Renkema, July, Amsterdam.
Talk on Logic and Action, AUC, Amsterdam, May 19.
Member of the PhD Committee for Zoe Christoff, March 22, Amsterdam.
MOL January Theme project on Genetic Programming., January 4--29.

2015

Update, Probability, Knowledge and Belief, invited LogiCIC workshop talk, Amsterdam, November 27.
Logic and Action, Beijing Normal University talk, Beijing, November 5.
Epistemic Model Checking Course, Tsinghua University, November 2--6.
Update, Probability, and Belief, Peking University talk, Beijing, October 22.
Gossip in Dynamic Networks, invited talk at the 3rd Tsinghua Logic Colloquium, Beijing, October 21.
Functional Specification of Algorithms Course, Master of Logic, University of Amsterdam, Sept--Oct.
To Be Announced! Synthesis of Epistemic Protocols Lorentz Center workshop, 17--21 August 2015, organized by Thomas Bolander, Hans van Ditmarsch, Jan van Eijck and Ramaswamy Ramanujam.
Member of the MSc Thesis committee for Konstantinos Gkikas, September 3.
Member of the MSc Thesis committee for Suzanne van Wijk, September 3.
Master SE Thesis supervisor of Kai Bakker, defended on August 27.
Master SE Thesis supervisor of Zarina Efendjeva, defended on August 24.
Member of the MSc Thesis committee for Frank Feys, June 17.
Member of the MSc Thesis committee for Babette Paping, April 20.
Understanding Bias, talk held at the birthday workshop for Rineke Verbrugge, Groningen, March 12.
Member of the MSc Thesis committee for Roosmarijn Goldbach, March 11.
Member of the MSc Thesis committee for Ignas Vysniauskas, Jan 30.
Member of the MSc Thesis committee for Johannes Emerich, Jan 30.

2014

Participated in Dagstuhl seminar Planning with Epistemic Goals, January 12--15.
Member of the MSc Thesis committee for Andreea Achimescu, February 21.
Member of the NWO Veni Committee 2014 for Computer Science.
Member of the MSc Thesis Committee of Sarah McWhirter (Master of Logic, June 2, 2014).
Member of the MSc Thesis Committee of Justin Kruger (Master of Logic, August 29, 2014)
Member of the MSc Thesis Committee of Lara van Weegen (Master of Logic, December 16, 2014)
BSc Thesis (Computer Science and Mathematics) supervisor for Sander in 't Veld (together with Inge Bethke).
MSc Thesis (Logic) supervisor for Malvin Gattinger, Dynamic Epistemic Logic for Guessing Games and Cryptographic Protocols, June 20, 2014.
MSc Thesis (Software Engineering) supervisor for Laurens Knoll, Ivan Plantevin, Santiago Carillo, Janneke Lamberink, Romy Moerbeek.
Member of the PhD Thesis Committee of Atze van der Ploeg (April 8, 2015).
Member of the ILLC Johan van Benthem celebration committee, September 26 and 27 (together with Alexandru Baltag, Peter van Ormondt and Robert van Rooij).
Master of Software Engineering Course on Software Specification and Testing, September-October.
Master of Logic Course on Formal Specification of Algorithms, September-October.
ILLC Projects "Haskell Road" with Francesco Gavazzo, Bill Noble, Tim van der Molen, Thomas Santoli, January and June, 2014.
Work in progress: Reasoning about Communication and Action, book manuscript, together with Alexandru Baltag, Johan van Benthem and Sonja Smets.
What does it mean to know a number?, Dagstuhl talk, Jan 15.
Logic, Languages and Programming. January 20. Source code: LLP.hs. Guest Lecture in the course `Theory of Programming' for the Minor Programming, University of Amsterdam. The two-hour talk is on video and can be viewed here (but you will need a UvA id to access the video).
Cryptographic Protocol Analysis with Kripke Models, PEM talk, Amsterdam, January 24, 2014.
Programming for DEL Tutorial Day, for the LiRA community, ILLC, Amsterdam, March 12, 2014.
Logic, (Functional) Programming, Model Checking. Guest lecture, Logic in AI, Amsterdam, May 22, 2014.
Belief, Probabilities, Updates, and Model Checking, Invited talk, Workshop on The Logical Dynamics of Information, Agency and Interaction, Amsterdam, October 2, 2014.
Selected Topics in Communication and Action, Talk at LiRA seminar, Amsterdam, October 25, 2014.
Knowledge, Belief, Probabilities, Updates, Model Checking. LoLaCo Guest lecture, Amsterdam, November 17, 2014.
Belief, Uncertainty, and Probability, Invited talk, Synthese Conference on Qualitative and Quantitative Methods in Formal Epistemology, Amsterdam, November 20, 2014.

2013

For the record: here is a link to a letter that I wrote to the rector of our university. The letter, in Dutch, concerns prevention of exam irregularities. The letter was never answered. According to some colleagues this was a disgrace ("een schande"), according to some others it was only to be expected.
The Haskell Road to Logic, Mahs and Programming, Second Edition, by Kees Doets and Jan van Eijck, appeared in January 2013. The book copyright page says 2012, but I received the copies in January 2013. The second edition has a new section on computing polynomial representations for number sequences, using the calculus of finite differences, plus updated code, and error corrections.
Together with Floor Sietsma, I published a follow-op paper on Action Emulation, in The Journal of Philosophical Logic. This appeared in December 2013.
Implementation work on DEMO for S5 and for a probabilistic version of epistemic logic. See demo_s5 and prodemo.
A new Master of Logic Course on `Functional Algorithm Specification'. See here.
Heleen Booy defended her Master of Logic Thesis, written under my supervision, on June 25, 2013. See here.
Carsten Ruetz defended his Master Thesis in Computer Science at University of Nijmegen (Radboud University), written under the joint supervision of Jan Tretmans and me (November 8, 2013).
Supervision of three master theses for the Master Programme Software Engineering (Jesse van Assen, Sven Meijer, Bas Vertelman).
Host of Dr. Francois Schwarzentruber, on visit from the University of Rennes in the last week of August 2013. We wrote a paper on Probabilistic Epistemic Logic together.
Member of the PhD Thesis Committee for Arno Bastenhof, University of Utrecht (April 12, 2013).
Member of the PhD Thesis Committee for Frederic Moisan, University of Toulouse (September 2, 2013).
Member of the master thesis committee of Robert Carrington, ILLC (Aug 20 2013).
Member of the NWO assessment committee `Vrije Competitie 2013'.
From Number Guessing Games to Security Protocol Analysis and Back, Invited talk for Reinhard Muskens' jubilee event, Tilburg, Dec 16, 2013.
Elements of Epistemic Crypto Logic, LogiCIC Workshop, Amsterdam, December 2, 2013.
Semantics, Communication, and Probability, Dagstuhl Workhop `Computational Models of Language Meaning in Context', Schloss Dagstuhl, Germany, Nov 12, 2013.
Renunciation Games, IRIT Workshop Talk (invited), Toulouse, September 3, 2013.
Why Learn Haskell?, Programming Summer School, University of Amsterdam, July 2, 2013.
Communication as Action Invited Lecture, Amsterdam University College, Amsterdam, May 13, 2013.
Learning About Probability INRIA talk, Rennes, April 16, 2013.
Model Checking Uncertainty about Probability LIRA Seminar, Amsterdam, April 9, 2013.
Learning from the Perspective of Dynamic Epistemic Logic, ILLC Language and Learning Workshop, Amsterdam, March 11, 2013.
PDL as a Multi-Agent Strategy Logic, TARK, Chennai, January 8, 2013.

2012

Floor Sietsma defended her PhD thesis Logics of Communication and Knowledge on December 13, 2012, to become a doctor at 20 years old (quite possibly the youngest doctor in Dutch academic history). Here is the laudatio.
Games, Actions and Social Software appeared as Springer Lecture Notes in CS, edited by Jan van Eijck and Rineke Verbrugge. This is the second volume that reports on the NIAS Social Software project of 2006.

2011

Appointment as professor at ILLC (one day per week, starting November 1, 2011). See here and here.
De wetenschap in debat: wat is de essentie van informatie? November 8, 2011, Spui 25 Amsterdam. See here for a summary of my position (in Dutch).
Stefan Minica defended his PhD Thesis `Dynamic Logic of Questions', on December 1, 2011. Details are here. Supervisors were Johan van Benthem, Hans van Ditmarsch and myself.
Gijs van Lammeren, Jan de Mooij, Joost Pastoor, Lennart Tange got their MSc in Software Engineering under my supervision (master software engineering, University of Amsterdam, 2011).
Member of the MSc committee of Lars Wortel (ILLC, Amsterdam).
Member of the programme committee for IWCS 2011.
Member of the programme committee for LORI-3, The Third International Workshop on Logic, Rationality and Interaction, Guangzhou, China, October 10-13, 2011.
Program Chair (together with Rineke Verbrugge) of Reasoning about Other Minds (TARK Satelite Event, Groningen).
Host of foreign guest professor Shalom Lappin (August-September 2011), from King's College, London.

2010

Yanjing Wang defended his PhD thesis, `Epistemic Modelling and Protocol Dynamics' (ILLC, University of Amsterdam) on September 21, 2010.
Christina Unger defended her PhD thesis, `A Computational Approach to the Syntax of Displacement and the Semantics of Scope' (Uil-OTS, Utrecht University) on March 31, 2010. Promotors were Eric Reuland and myself.
Tigran Kalaidjan and Bas Slagter got their MSc in Software Engineering under my supervision (master software engineering, University of Amsterdam, 2010).
Ronald de Haan wrote his Bachelor Thesis, Reasoning about Belief in Social Software using Modal Logic (Cognitive Artificial Intelligence, Utrecht) under my supervision (February 2010).
Member of the PhD Examination Committee of Jonathan Zvesper, Amsterdam (March 9, 2010).
Member of the PhD Committee of Eline Westerhout, Utrecht (June 2, 2010)
Member of the PhD Defence Committee of Bert le Bruyn, Utrecht (March 31, 2010).
Member of the MSc committee of Jeroen Bransen (CKI, Utrecht, August 26, 2010).
Member of the MSc committee of Matthew Wampler Doty (ILLC, September 1, 2010).
Member of the MSc committee of Remi Turk (ILLC, October 19, 2010).
Host of foreign guest Dr Lakshmanan Kuppusami (May and June, 2010).
Member of the `Visitatiecommissie Informatica, Toegepaste Informatica, Computerwetenschappen', Vlaamse Universeiten, 2009 and 2010.
Coordinator of NWO Project VEMPS (until July 2010).

2009

Organizer of Natural Logic Workshop as part of the 17th Amsterdam Colloquium. Selected papers have appeared here.
Program Committee member of IWCS 8 (7--9 Jan, 2009).
Coordinator of NWO Project VEMPS (since June 2006).
Member of the `Visitatiecommissie Informatica, Toegepaste Informatica, Computerwetenschappen', Vlaamse Universeiten, 2009 and 2010.
Master Thesis supervisor for Ivo Jonker, Lars de Ridder, Rogier Hommels and Roy Zandbergen (Master Software Engineering curriculum).
Member of Ph.D. thesis committee of Alexey Rodrigues, Utrecht, May 20, 2009.
Member of Ph.D. thesis committee of Andreas Witzel, Amsterdam, September 3, 2009.

Home

Publications

2017

Jan van Eijck and Philip Elsas, What is Money?. In: Rohit Parikh on Logic, Language and Society, edited by Can Başkent, Lawrence S. Moss and Ramaswamy Ramanujam. Springer, Outstanding Contributions in Logic, Volume 11, 2017.
Jan van Eijck and Malvin Gattinger and Yanjing Wang, Knowing Values and Public Inspection, arXiv 2016. To be presented at ICLA 2017, 7th Indian Conference on Logic and its Applications January 5–7, 2017, ITT Kanpur, India.
Jan van Eijck and Fengkui Ju, Modelling Legal Relations with Dynamic Logic. Under Submission.

2016

Hans van Ditmarsch, Jan van Eijck, Pere Pardo, Rahim Ramezanian, Francois Schwarzentruber, Epistemic Protocols for Dynamic Gossip, Journal of Applied Logic, Online since 5 December 2016.
Jan van Eijck and Bryan Renne, Update, Probability, Knowledge and Belief . Appeared in: Lev Beklemishev and Stéphane Demri (editors), Advances in Modal Logic 2016, College Publications, London, pages 551-570.
Jan van Eijck and Fengkui Ju, Modelling Legal Relations . Appeared in the informal proceedings of LOFT 2016, Maastricht.
Fengkui Ju and Jan van Eijck, To Do Something Else . Appeared on pages 109--122 in: Deontic Logic and Normative Systems, 13th International Conference, DEON 2016, Bayreuth, Germany, July 2016, edited by Olivier Roy, Allard Tamminga and Malte Willer, College Publications, London, 2016.
Hans van Ditmarsch, Jan van Eijck, Pere Pardo, Rahim Ramezanian, Francois Schwarzentruber, Gossip in Dynamic Networks . Appeared in: Liber Amicorum Alberti -- A Tribute to Albert Visser, edited by Jan van Eijck, Rosalie Iemhoff and Joost J. Joosten, College Publications, 2016, London, pp 91--98.
Jan van Eijck, Rosalie Iemhoff and Joost J. Joosten (eds.), Liber Amicorum Alberti -- A Tribute to Albert Visser , Tribute Series, College Publications, London, April 2016
Hans van Ditmarsch, Jan van Eijck, Pere Pardo, Rahim Ramezanian, Francois Schwarzentruber, Dynamic Gossip . arXiv 2016.
Johan van Benthem, Jan van Eijck, Malvin Gattinger, Kaile Su, Symbolic Model Checking for Dynamic Epistemic Logic -- S5 and Beyond . To appear in the Journal of Logic and Computation (JLC).
Rick Nouwen, Adrian Brasoveanu, Jan van Eijck, Albert Visser, Dynamic Semantics , The Stanford Encyclopedia of Philosophy (Fall 2016 Edition), edited by Edward N. Zalta.

2015

Johan van Benthem, Jan van Eijck, Malvin Gattinger, Kaile Su, Symbolic Model Checking for Dynamic Epistemic Logic . Appeared in Logic, Rationality, and Interaction; 5th International Workshop, LORI 2015, edited by Wiebe van der Hoek, Wesley H. Holliday and Wen-fang Wang, LNCS 9394, pages 366-378, Springer, Berlin Heidelberg 2015.
Jan van Eijck, Implementing Semantic Theories. Appeared in: Handbook of Contemporary Semantics, Second Edition, edited by Shalom Lappin and Chris Fox.
Jan van Eijck, Strategies in Social Software, in: Modeling Strategic Reasoning: Logics, Games and Communities, edited by Johan van Benthem, Sujata Ghosh and Rineke Verbrugge. FoLLI-LNAI State-of-the-Art Survey, LNCS 8972. Springer, Heidelberg.
Jan van Eijck, Varieties of Belief and Probability, Sujata Ghosh and Jakyb Szymanik (eds.), The Facts Matter -- Essays on Logic and Cognition in Honour of Rineke Verbrugge, Tributes, Volume 25, College Publications, London 2015, pages 67--87.
Jan van Eijck and Malvin Gattinger, Elements of Epistemic Crypto Logic (Extended Abstract), Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015).
Malvin Gattinger and Jan van Eijck, Towards Model Checking Cryptographic Protocols with Dynamic Epistemic Logic, Proceedings LAMAS (LAMAS 2015).
Work in progress: The Logic of Bias, together with Joshua Sack.
Work in progress: Observation, Action, and Social Cognition, together with Thomas Bolander.

2014

Jan van Eijck and Rineke Verbrugge, Formal Approaches to Social Procedures, in Stanford Encyclopedia of Philosophy, edited by Edward N. Zalta.
Jan van Eijck and Francois Schwarzentruber, Epistemic Probability Logic Simplified. In: Advances in Modal Logic, Volume 10, edited by Rajeev Gore, Barteld Kooi and Agi Kurucz, pages 158--177, 2014.
Jan van Eijck, Dynamic Epistemic Logics. Appeared in: Alexandru Baltag and Sonja Smets (eds), Johan F.A.K. van Benthem on Logical and Informational Dynamics, Springer, pages 175--202.
Johan van Benthem and Hans van Ditmarsch and Jan van Eijck and Jan Jaspars, Logic in Action. Internet resource on logic.
Jan van Eijck and Shalom Lappin, Probabilistic Semantics for Natural Language. Appeared in the Logic and Interactive RAtionality Yearbook 2012, edited by Zoe Christoff, Paulo Galeazzi, Nina Gierasimczuk, Alexandru Marcoci and Sonja Smets, Volume II, pages 17--35 (Feb 2014).
Jan van Eijck and Bryan Renne, Belief as Willingness to Bet, E-print, arXiv, 1412.5090.pdf

2013

Jan van Eijck, DEMO_S5 - Implementation of Epistemic Model Checking With S5 Updates. demo_s5.
Jan van Eijck, PRODEMO - Implementation of Model Checking for EPL. prodemo.
Floor Sietsma and Jan van Eijck, Action Emulation Between Canonical Models, in Journal of Philosophical Logic, December 2013, Vol 42, Issue 6, pp 905-925.
Jan van Eijck, PDL as multi-agent strategy logic. In: Burkhard C. Schipper (editor), TARK} 2013 - Theoretical Aspects of Reasoning About Knowledge, Proceedings of the 14th Conference -- Chennai, India, pages 206-215, 2013.
Jan van Eijck and Tijs van der Storm, Understanding Information Update in Questionnaires, Science of Computer Programming, 2013. See here.

2012

Jan van Eijck and Rineke Verbrugge (eds.), Games, Actions and Social Software, LNCS 7010, Springer 2012.
N. Dimitri and J. van Eijck, Time Discounting and Time Consistency , in: Games, Actions and Social Software, LNCS 7010, Springer.
J. van Eijck, Perception and Change in Update Logic , in: Games, Actions and Social Software, LNCS 7010, Springer.
H.P. van Ditmarsch, J. van Eijck, F. Sietsma and Y. Wang, On the logic of lying , in: Games, Actions and Social Software, LNCS 7010, Springer.
Jan van Eijck and Ji Ruan and Tomasz Sadzik, Action Emulation. A pre-final version is here. Final version available through SpringerLink. Synthese, Volume 185, Issue 1 (2012), Page 131-151.
Hans van Ditmarsch, Jan van Eijck, Ignacio Hernandez-Anton, Floor Sietsma, Sunil Simon and Fernando Soler-Toscano, Modelling Cryptographic Keys in Dynamic Epistemic Logic with DEMO , Highlights on PAAMS, pages 155-162, edited by J.B. Perez et al. Springer AISC 156, 2012.

2011

Jan van Eijck and Hans Kamp, Discourse Representation in Context. In: Johan van Benthem and Alice ter Meulen (eds.), Handbook of Logic and Language, Second Edition, Elsevier, 2011, pages 181--252.
Yanjing Wang and Floor Sietsma and Jan van Eijck, Logic of Information Flow on Communication Channels, in: Declarative Agents Languages and Technologies VIII, Springer, edited by Andrea Omicini, Sebastian Sardina and Wamberto Vasconcelos, pp 130--147.
Hans van Ditmarsch, Jan van Eijck, and William Wu, Verifying one hundred prisoners and a lightbulb , Journal of Applied Non-classical logics, 2010 (but the issue appeared in 2011), pp 173--191.
Jan van Eijck, Redeneren over Communicatie, in: Euclides, 2011, volume 86, number 11, pages 214-216.
Jan van Eijck and Floor Sietsma, Message-Generated Kripke Semantics, Proceedings of 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), pages 1183--1184.
Jan van Eijck, A Geometric Look at Manipulation,, CLIMA XII, 2011, pages 92--104. Lecture notes in Artificial Intelligence, edited by J. Leite et al.
Jan van Eijck and Floor Sietsma and Sunil Simon, Reflections on Vote Manipulation in: Logic, Rationality, and Interaction, pages 386--387. Edited by Hans van Ditmarsch, Jerome Lang and Shier Ju. Lecture Notes in Computer Science 6953, Springer.
Floor Sietsma and Jan van Eijck, Message Passing in a Dynamic Epistemic Logic Setting,, in: TARK XIII: Proceedings of hte 13th Conference on Theoretical Aspects of Rationality and Knowledge,. 2011, pages 212--220. Edited by Krzysztof Apt.
Jan van Eijck and Rineke Verbrugge (eds.), Proceedings of the Workshop on Reasoning About Other Minds: Logical and Cognitive Perspectives (RAOM-2011), Groningen, The Netherlands, July 11th, 2011. Number 751 in CEUR Workshop Proceedings, see here..
Jan van Eijck and Yanjing Wang and Floor Sietsma, Composing Models. Journal of Applied Non-classical Logics, 2011, Vol 21, pages 397--425. Available online here.
Jan van Eijck, A Conversation with Wittgenstein. In: This is not a Festschrift -- Festschrift for Martin Stokhof. Edited by Jaap van der Does and Catarina Dutilh Novaes.
Jan van Eijck, Afscheid van JKL. In: jan karel lenstra, the traveling science man, CWI 2011, edited by M. van der Heijden, B. Koren, R.D. van der Mei and J.A.J. van Vonderen.

2010

Hans van Ditmarsch, Jan van Eijck, and William Wu, One hundred prisoners and a lightbulb - logic and computation . In: F. Lin and U. Sattler (editors), Proceedings of KR 2010 Toronto, 2010. AAAI Press.
Jan van Eijck and Christina Unger, Computational Semantics with Functional Programming , Cambridge University Press, 2010.
Yanjing Wang and Floor Sietsma and Jan van Eijck, Logic of Information Flow on Communication Channels (Extended Abstract). Proceedings of AAMAS-2010, the 9th International Conference on Autonomous Agents and Multiagent Systems, ed. by W. van der Hoek et al., Toronto 2010.
Yanjing Wang and Floor Sietsma and Jan van Eijck, Logic of Information Flow on Communication Channels (Extended Version) In: Logic and Interactive Rationality, Yearbook 2009, edited by Davide Grossi, Lena Kurzen en Fernando R. Velázques-Queseda, ILLC, Amsterdam.
Jan van Eijck, The Language of Social Software. Synthese, 2010. doi
Jan van Eijck and Yanjing Wang and Floor Sietsma, Composing Models. Online Proceedings of LOFT 2010, edited by Wiebe van der Hoek. Toulouse 2010.
Jan van Eijck and Albert Visser, Dynamic Semantics. Stanford Encyclopedia of Philosophy, edited by Edward N. Zalta. First appeared in the January 2010 edition.
Jan van Eijck and Floor Sietsma, Multi-agent Belief Revision with Linked Plausibilities. In: G. Bonanno, B. Löwe and W. van der Hoek (eds.), Logic and the Foundations of Game and Decision Theory - LOFT 8, Lecture Notes in Artificial Intelligence, Vol. 6006, Springer, 2010.
Jacques van Remortel c.s., De onderwijsvisitatie Informatica - Toegepaste Informatica - Computerwetenschappen, Brussel 2010.

2009

Philippe Balbiani, Hans van Ditmarsch, and Jan van Eijck (editors), Special issue Logic for Information Security -- Editorial . Journal of Applied Non-Classical Logics 19(4): 397-401, 2009, issn 1166-3081.
Johan van Benthem, Hans van Ditmarsch, and Jan van Eijck, Logica in Actie , Academic Service, Sdu Uitgevers, Den Haag, NL, 2009.
Hans van Ditmarsch, Jan van Eijck, and Rineke Verbrugge, Publieke Werken: Breinbrouwsels over Sommen en Producten . Nieuw Archief voor Wiskunde (in Dutch), volume 5/10, number 2, pages 126-131, 2009.
Jan van Eijck and Rineke Verbrugge (eds), Discourses on Social Software . Texts in Logic and Games 5, Amsterdam University Press, 2009.
Jan van Eijck, What is Social Software . In: Discourses on Social Software . Texts in Logic and Games 5, Amsterdam University Press, 2009, pp. 37--47.
Jan van Eijck, A Guest Lecture on Social Software . In: Discourses on Social Software . Texts in Logic and Games 5, Amsterdam University Press, 2009, pp. 49--56.
Jan van Eijck, On Social Choice Theory . In: Discourses on Social Software . Texts in Logic and Games 5, Amsterdam University Press, 2009, pp. 71--85.
Jan van Eijck and Martin van Hees, Ends and Means, Values and Virtues . In: Discourses on Social Software . Texts in Logic and Games 5, Amsterdam University Press, 2009, pp. 87--98.
Hans van Ditmarsch, Jan van Eijck, and Rineke Verbrugge, Common Knowledge and Common Belief. In: Jan van Eijck and Rineke Verbrugge (editors), Discourses on Social Software. Texts in Logic and Games, volume 5, pages 99-122. Amsterdam University Press, 2009.
Johan van Benthem and Jan van Eijck, Game Theory, Logic and Rational Choice In: Jan van Eijck and Rineke Verbrugge (editors), Discourses on Social Software. Texts in Logic and Games, volume 5, pages 123--134. Amsterdam University Press, 2009.
Francien Dechesne and Jan van Eijck and Wouter Teepe and Yanjing Wang, What is Protocol Analysis? In: Jan van Eijck and Rineke Verbrugge (editors), Discourses on Social Software. Texts in Logic and Games, volume 5, pages 135 -- 146. Amsterdam University Press, 2009.
Francien Dechesne and Jan van Eijck and Wouter Teepe and Yanjing Wang, Dynamic Epistemic Logic for Protocol Analysis. In: Jan van Eijck and Rineke Verbrugge (editors), Discourses on Social Software. Texts in Logic and Games, volume 5, pages 147 -- 161. Amsterdam University Press, 2009.
Jan van Eijck and Rineke Verbrugge, Eating from the Tree of Ignorance. In: Jan van Eijck and Rineke Verbrugge (editors), Discourses on Social Software. Texts in Logic and Games, volume 5, pages 183--198. Amsterdam University Press, 2009.
Jan van Eijck, On Collective Rational Action. In: Jan van Eijck and Rineke Verbrugge (editors), Discourses on Social Software. Texts in Logic and Games, volume 5, pages 199--216. Amsterdam University Press, 2009.
Jan van Eijck and Rohit Parikh and Marc Pauly and Rineke Verbrugge, Social Software and the Ills of Society. In: Jan van Eijck and Rineke Verbrugge (editors), Discourses on Social Software. Texts in Logic and Games, volume 5, pages 219--226. Amsterdam University Press, 2009.
Yanjing Wang and Lakshmanan Kuppusamy and Jan van Eijck, Verifying Epistemic Protocols under Common Knowledge. In: TARK '09: Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge, pages 257--266, ACM, 2009.
Jan van Eijck, Comments on `Modal Fixed Point Logic and Changing Models'.

2008

Jan van Eijck and Yanjing Wang, PDL as a Logic of Belief Revision Proceedings of Wollic'08, edited by Wilfrid Hodges and Ruy de Queiros, Lecture Notes in Artificial Intelligence 5110, Springer, pages 136--148, See doi .
Jan van Eijck, Yet More Modal Logics of Preference Change and Belief Revision. New Perspectives on Games and Interaction, edited by K.R. Apt and R. van Rooij, Amsterdam University Press, 2008.
Jan van Eijck, Sequentially Indexed Grammars . Journal of Logic and Computation, 18(2), 2008, pages 20500228. doi
Jan van Eijck and Floor Sietsma, Multi-agent Belief Revision with Linked Plausibilities. In: LOFT 2008: Logic and the Foundations of Game and Decision Theory, online proceedings, Amsterdam 2008.

2007

Jan van Eijck, Context and the Composition of Meaning . In: Computing Meaning, Volume 3, edited by Harry Bunt and Reinhard Muskens, Springer 2007, pages 173--194. An almost final version can be found here.
Jan van Eijck, DEMO --- A Demo of Epistemic Modelling . In: Interactive Logic --- Proceedings of the 7th Augustus de Morgan Workshop, edited by Johan van Benthem, Dov Gabbay and Benedikt Löwe, Texts in Logic and Games 1, 2007, pages 305-363.
Jan van Eijck, Natural Logic for Natural Language . Logic, Language, and Computation; 6th International Tbilisi Symposium on Logic, Language, and Computation Batumi, Georgia, September 12-16, 2005, edited by Balder ten Cate and Henk Zeevat, Springer, 2007, pages 216--230.
Jan van Eijck and Simona Orzan, Epistemic Verification of Anonymity . In: Proceedings of the Second International Workshop on Views on Designing Complex Architectures (VODCA 2006), Bertinoro, Italy, Electronic Notes on Theoretical Computer Science, edited by Maurice ter Beek and Fabio Gadducci, Elsevier, 2007, pages 159--174. doi
Jan van Eijck and Christina Unger, The Epistemics of Presupposition Projection . In: Proceedings of the Sixteenth Amsterdam Colloquium, December 17--19, 2007, edited by Maria Aloni, Paul Dekker and Floris Roelofsen, ILLC, pages 235--240.

2006

Johan van Benthem, Jan van Eijck and Barteld Kooi, Logics of Communication and Change . Information and Computation, vol 204, number 11, pages 1620--1662. doi .
Jan van Eijck, Discourse Representation Theory . Encyclopedia of Language and Linguistics, edited by K. Brown, Elsevier 2006, volume 3, pages 660--669.
Jan van Eijck and Martin Stokhof, The Gamut of Dymamic Logics . In: The Handbook of the History of Logic, edited by D.M. Gabbay and J. Woods, volume 7, Elsevier, 2006, pages 499--600.
Jan van Eijck, Discourse on Social Software --- What is Social Software? . NIAS Newsletter, Number 36, 2006, pages 15--21.

2005

Johan van Benthem, Jan van Eijck and Barteld Kooi, Common knowledge in update logics Tark 2005. An almost final version of this paper can be found here.
Jan van Eijck, Normal Forms for Characteristic Functions on n-ary Relations . Journal of Logic and Computation, 15(2), 2005, pages 85--98. doi
Jan van Eijck and Simona Orzan, Modelling the Epistemics of Communication with Functional Programming . Sixth Symposium on Trends in Functional Programming (TFP 2005), Institute of Cybernetics, Tallinn Technical University, edited by Marko van Eekelen, 2005, pages 44--59.
Jan van Eijck and Albert Visser, Inzien en Bewijzen . Amsterdam University Press, 2005.
Jan van Eijck and Albert Visser, Inzien en Bewijzen -- Docentenhandleiding . Amsterdam University Press, 2005.

2004

Kees Doets and Jan van Eijck, The Haskell Road to Logic, Maths and Programming . Texts in Computing, College Publications, London, 2004.
Jan van Eijck, Albert Visser and Vincent van Oostrom (eds), Logic Colloquium '99 . A.K. Peters, Wellesley, MA, USA, Lecture Notes in Logic 17, 2004.
Jan van Eijck, Susan Herring, Wolfgang Klein and Stephen Pulman, Evaluation of CLCG Research, Summer 2004 . University of Groningen, 2004.
Jan van Eijck Reducing dynamic epistemic logic to PDL by Program Transformation . CWI Report SEN-E0423, 2004. Available from CWI Reports.
Jan van Eijck Dynamic Epistemic Modelling . CWI Report SEN-E0424, 2004. Available from CWI Reports.
Jan van Eijck Guarded Actions . CWI Report SEN-E0425, 2004. Available from CWI Reports.
Jan van Eijck and Joost Zwarts, Formal Concept Analysis and Prototypes. In: Werner Kuhn, Martin Raubal, Florian Probst and Krysztof Jonowicz, eds., Proceedings of the Workshop on the Potential of Cognitive Semantics for Ontologies (FOIS 2004), University of Muenster.

2003

Jan van Eijck, Parser Combinators for Extraction . Proceedings of the Fourteenth Amsterdam Colloquium, edited by Paul Dekker and Robert van Rooij, ILLC, Amsterdam, 2003, pages 9--104.
Jan van Eijck, Het Formaliseren van Theta Theorie . Link --- Tijdschrift voor Linguistiek te Utrecht, 14(1), pages 36--41, 2003.

2002

Jan van Eijck, Reference Resolution in Context . Computational Linguistics in the Netherlands 2001. Selected Papers from the Twelfth CLIN Meeting, edited by M. Theune, A. Nijholt and H. Hondorp. Rodopi, 2002, pages 89--103.
Jan van Eijck, Jan Jaspars, Jan Ketting and Marc Pauly, Denkende Machines -- Computers, rekenen, redeneren . Amsterdam University Press, 2002.
Jan van Eijck, Jan Jaspars, Jan Ketting and Marc Pauly, Denkende Machines -- Computers, rekenen, redeneren, Docentenhandleiding . Amsterdam University Press, 2002.
Jan van Eijck, HyLoTab -- Tableau-based Theorem Proving for Hybrid Logics . Available here.
Jan van Eijck AI Education in the Netherlands; VSNU Curriculum Visitation . BNVKI Newsletter, February 2002.
Jan van Eijck Afscheid van Jaco . Liber Amicorum Jaco de Bakker, edited by F. de Boer, M. van der Heijden, P. Klint and J. Rutten. CWI 2002, pages 61--77.
Jan van Eijck, Jan van de Craats, Frank van Eynde, Gerard Kempen en Cees Witteveen, De Onderwijsvisitatie Kunstmatige Intelligentie . VSNU Report, 135 pp, Utrecht 2002.

2001

Jan van Eijck Constrained Hyper Tableaux . In: Computer Science Logic, edited by L. Fribourg, pags 231--246. Springer LNCS 2142, 2001.
Jan van Eijck, Model Generation from Constrained Free Variable Tableaux . IJCAR 2001 -- Short Papers, edited by Rajeev Gor@eacute;, Alexander Leitsch and Tobias Nipkov, pages 160--169. Siena, 2001.
Jan van Eijck, Incremental Dynamics . Journal of Logic, Language and Information, 2001, Vol 10, pages 319--351.
Jan van Eijck, Juan Heguiabehere and Breandann Ó Nualláin, Tableau Reasoning and Programming with Dynamic First Order Logic, Logic Journal of the IGPL 2001, 9(3), pages 411-445. doi
Balder ten Cate, Jan van Eijck and Juan Heguiabehere, Expressivity of Extensions of Dynamic Predicate Logic, Proceedings of the Thirteenth Amsterdam Colloquium, December 17--19, 2001, edited by M. Stokhof and R. van Rooy, pages 61--66.
Jan van Eijck, Border Crossings, In: Logic in Action, ILLC, Amsterdam 2001, pages 51--74.

Some earlier papers

Jan van Eijck, Making Things Happen Appeared in Studia Logica , Autumn 2000.
Jan van Eijck, Axiomatising Dynamic Logics for Anaphora Appeared in the first volume of the Journal of Language and Computation, Spring 1999.
Jan van Eijck, On the Proper Treatment of Context in NL Appeared in CLIN Proceedings 1999.
Jan van Eijck, Typed Logics with States Journal of the IGPL, September 1997.
Jan van Eijck and Hans Kamp, Representing Discourse in Context Handbook of Logic and Language, 1997.
Johan van Benthem, Jan van Eijck and Vera Stebletsova, Modal logic, Transition Systems and Processes . Journal of Logic and Computation, 4(5), 1996, pages 811-855. doi
Jan van Eijck and Nissim Francez, Verb-phrase Ellipsis in Dynamic Semantics in: M. Masuch and L. Polos, Applied Logic: How, What and Why? Kluwer, 1995, pp 29--60.
Jan van Eijck and Fer-Jan de Vries Reasoning about Update Logic. Journal of Philosophical Logic, 24, 1995, pages 19--45.
Jan van Eijck, Presupposition Failure -- A Comedy of Errors May 1994. Appeared in Formal Aspects of Computing, Volume 6a, 1994, pages 766--787.
Jan van Eijck and Fer-Jan de Vries, Dynamic Interpretation and Hoare Deduction First paper in the very first issue of the Journal of Logic, Language and Information (Jolli), 1992, Vol 1, number 1, pages 1--44 (pdf).
Jan van Eijck, Tussen Taal en Betekenis, Inaugural Lecture, Utrecht, November 15, 1991.

Home

Manuscripts

Defining (reflexive) transitive closure on finite models, draft, 2008.
A first order axiomatisation of least fixpoint on finite models, draft, 2008.

Home

Courses,Talks,Lectures

2014

Functional Algorithm Specification, Master Programme in Logic, University of Amsterdam.
Software Specification and Testing Master Programme Software Engineering, University of Amsterdam.

2013

Functional Algorithm Specification, Master Programme in Logic, University of Amsterdam.
Software Specification and Testing Master Programme Software Engineering, University of Amsterdam.

2012

Purely Functional Algorithm Specification, ESSLLI 2012 Course, Opole, Poland, August 6 -- 10, 2012,
Software Specification and Testing 2012 Master Programme Software Engineering, University of Amsterdam.

2011

Reneneren over Communicatie Wintersymposium KWG, Utrecht, Jan 8, 2011.
Logic in Action , ESSLLI 2011 Course, Ljubljana, Slovenia, August 1 -- 5, 2011 (together with Jan Jaspars and Johan van Benthem)
Computational Semantics with Functional Programming , ESSLLI 2011 Course, Ljubljana, Slovenia, August 8 -- 12, 2011 (together with Christina Unger).
Software Specification and Testing 2011 Master Programme Software Engineering, University of Amsterdam.

2010

Reasoning about Communication, CWI Scientific Lunchtime Meeting, November 26, 2010.
Software Testing 2010 Master Programme Software Engineering, University of Amsterdam. Week1, Week2, Week3, Week4, Week5, Week6.
A Program for Computational Semantics, CLCG, Groningen, November 5, 2010.
Logic in Action , CKI, November 8, 2010.
Composing Models Presented at LOFT 2010, Toulouse, July 7, 2010.
Haskell: Programming in a lazy, purely functional language , 5 Languages Symposium, Amsterdam, June 12, 2010.
Sets, Lists, Functional Programming lecture for pupils of Ignatius College, Amsterdam (May 17, 2010).
How to Verify an Epistemic Protocol with DEL Lorentz Workshop on Formal Theories of Communication, Leiden, February 22, 2010.
Social Software It's a Logic World, Incognito Lustrum, January 8, 2010.

2009

Science as Art, SNB Lecture, Amsterdam, 16 september 2009.
ESSLLI'09 Course on Games, Action and Social Software, Bordeaux, July 20--24, 2009. Together with Rineke Verbrugge. Course Page
Computational Semantics. LOT Summer School Course, Leiden, June 15 -- 19, 2009. Together with Christina Unger. Course Page
UIL-OTS Course, Spring 2009 : Language, Mathematics and Logic
The Language of Social Software , Workshop on Logic and Social Interaction, Chennai, India, 8 January 2009.
An Inference Engine with a Natural Language Interface , GLCC-16 Workshop on Generalized Quantifiers, Amsterdam, March 6, 2009.
Computational Semantics with Functional Programming, Software Technology Colloquium, Utrecht, March 12, 2009.
Sociale Software in Vier Voorbeelden, Vakantiecursus Wiskunde, Amsterdam/Eindhoven, Augustus 2009.

2008

ESSLLI'08 Course on Dynamic Epistemic Logic, Hamburg, August 4--8, 2008. Together with Hans van Ditmarsch. Course Page
Creativiteit, Onderzoek, Communicatie, SNB Lecture, Amsterdam, 17 september 2008.
Propositional Dynamic Logic as a Logic of Knowledge Update and Belief Revision University of Liverpool CS Seminar, March 18, 2008.
UIL-OTS Course 2008: Language, Mathematics and Logic.
De lusvinder genept -- een logisch recept. Een poetisch bewijs van de onbeslisbaarheid van het stop-probleem.

Some earlier courses and talks

Natural Language Processing, Philosophy, and Logic, NLP Course, Utrecht, Fall 2006.
Logic for AI, Dec 2005 and January 2006, Utrecht.
Logical Methods in NLP, Spring 2005, Utrecht.
Structuren van de Informatica, University of Amsterdam, Spring 2001, 2002 (together with Kees Doets) and 2003 (together with Theo Janssen).
Computational Semantics, Type Theory, and Functional Programming, LOLA7 Tutorial, Pecs, August 2002. Slides: LOLA, LOLA1, LOLA2, LOLA3, LOLA4.
Semantics of Computation University of Amsterdam, Spring 2002 (together with Yde Venema).
Mind the Gap CKI Invited Lecture, June 21, 2002.

Home

Software

The usual disclaimers apply.

DPLL Theorem Proving .
Computational semantics with functional programming.
The Haskell Road to Logic, Maths and Programming.
DEMO (Dynamic Epistemic Modelling) software.
DEMO LIGHT (Dynamic Epistemic Modelling) software, light version. Recommended for getting acquainted with DEMO.
DEMO S5 (Dynamic Epistemic Modelling) software, light version, for updating with public announcements. Recommended for getting acquainted with DEMO.
Tableau style theorem prover for predicate logic in Haskell: here
Hylotab theorem prover for hybrid logic: here
Some Lexical Semantics programs

Home

Philosophy (in Dutch)

This is my first book (in Dutch), from 1982: an introduction to philosophy for the general public.

Here is a slightly more recent attempt at philosophy for the millions, from 2002 (in Dutch): Nieuwe Filosofie [pdf].
This was printed as a pamphlet for Koppermaandag by De Buitenkant in January 2013.

A philosophical lecture for the general public (Hotel De Filosoof, 3 april 1997, in Dutch): Inzicht.
A paper on the essence of philosophy: Wat is Filosoferen?. In: Ergo Cogito V: Pleidooi voor de filosofie, editors F. Geraedts and L. de Jong, Historische Uitgeverij, Groningen 1996.

Home

Contact

Jan van Eijck
+31-(0)20-5924052
jve at cwi dot nl
Home

New:

Appeared January 2013.
Click here for more information.

Links:

Appeared Spring 2012.
Click here for more information.

Click here for more information, or look at the book website, which is here.

Haskell Road website

Logica in Actie (ebook)

Logic in Action Website

Discourses on Social Software

Inzien en Bewijzen (ebook)

Inzien en Bewijzen Website

Denkende Machines (ebook)

Logica voor alfa's en informatici (ebook)

Home