van Eijck, J., Heguiabehere, J.M. (1999) Dynamo with constraint handling.

vg logic/info (oud WINS).

Report | UvA-DARE

van Eijck, J., Jaspars, J., Ketting, J., Pauly, M. (2002) Denkende machines: Computers, rekenen redeneren.

of Cambridge Tracts in Computer Science. Secondary School Textbook.

Book | UvA-DARE

van Eijck, J., Ju, F., Xu, T. (2024) Modeling dynamics of legal relations with dynamic logic.

Journal of Logic and Computation, Vol. 34 (pp 372–398)

Article | https://doi.org/10.1093/LOGCOM/EXAC055 | UvA-DARE

van Eijck, J., Lappin, S (2013) Probabilistic Semantics for Natural Language.

In Christoff, Z Galeazzi, P Gierasimczuk, N Marcoci, A Smets, S (Eds.), Logic and Interactive Rationality Yearbook 2012, Volume II (pp 17-35). ILLC.

van Eijck, J., Renne, B. (2014) Belief as Willingness to Bet.

ArXiv.

Preprint | https://doi.org/10.48550/arXiv.1412.5090 | UvA-DARE

van Eijck, J., Ruan, J., Sadzik, T. (2012) Action Emulation.

Synthese, Vol. 185 (pp 131-151)

Article | https://doi.org/10.1007/s11229-012-0083-1 | UvA-DARE

van Eijck, J., Schwarzentruber, F. (2014) Epistemic Probability Logic Simplified.

In Goré, R. Kooi, B. Kurucz, A. (Eds.), Advances in Modal Logic: AiML 10 (pp 158-177). College Publications.

van Eijck, J., Sietsma, F. (2012) Questions about voting rules, with some answers.

In Goranko, V. Jamroga, W. (Eds.), Proceedings of the 5th Workshop on Logical Aspects of Multi-Agent Systems: LAMAS 2012 : Satellite workshop of AAMAS 2012, June 5, 2012, Valencia, Spain (pp 39-54). Individual and Collective Reasoning Group, University of Luxembourg.

van Eijck, J., Stokhof, M. (2006) The gamut of dynamic logics.

In Gabbay, D. Woods, J. (Eds.), Handbook of the history of logic. - Vol. 7: Logic and the modalities in the twentieth century (pp 499-600). Elsevier.

van Eijck, J., Verbrugge, R. (2012) Games, Actions and Social Software: Multidisciplinary Aspects.

Lecture Notes in Computer Science
FoLLI Publications on Logic, Language and Information, Vol. 7010. Springer.

Book (Editorship) | UvA-DARE

van Eijck, J., Verbrugge, R. (2014) Formal Approaches to Social Procedures.

Stanford Encyclopedia of Philosophy, Vol. 2014

Article | https://plato.stanford.edu/archives/fall2014/entries/social-procedures/ | UvA-DARE

van Eijck, J. (1998) Axiomatising Dynamic Logics for Anafora.

INS-R9812/ LP-1998. WINS (oud WINS).

Report | UvA-DARE

van Eijck, J. (1998) Dynamic reasoning without variables.

INS-R9801. WINS (oud WINS).

Report | UvA-DARE

van Eijck, J. (1998) incremental dynamics.

INS-R9811/LP1998. WINS (oud WINS).

Report | UvA-DARE

van Eijck, J. (1998) Programming with dynamic predicate logic.

INS-R9810. WINS (oud WINS).

Report | UvA-DARE

van Eijck, J. (1998) Metalangauge versus object language.

In Mey, J.L. (Eds.), Concise encyclopedia of pragmatics. Elsevier.

van Eijck, J. (1999) Dynamo with shift and reduce.

In Albert, C. Rott, H. Brewka, G. Witteveen, C. (Eds.), DGNMR'99 Proceedings. ILLC Scientific Publications.

van Eijck, J. (1999) Powering decision machines with Dynamo.

In de Rijke, M. Marx, M. Venema, Y. Gerbrandy, J. (Eds.), JFAK --- Essays dedicated to Johan van Benthem on the Occasion of his 50th Birthday. ILLC.

van Eijck, J. (1999) Axiomatising dynamic logics for anaphora.

Journal of Language and Computation, Vol. 1 (pp 103-126)

Article | UvA-DARE

van Eijck, J. (2000) Making things happen.

Studia Logica, Vol. 66 (pp 41-58)

Article | UvA-DARE