dhr. prof. dr. D.J.N. (Jan) van Eijck
-
Faculteit der Natuurwetenschappen, Wiskunde en Informatica
ILLC
-
POSTBUS
94242
1090 GE Amsterdam
Kamernummer: C3
-
D.J.N.vanEijck@uva.nl
2013
- F. Sietsma & D.J.N. van Eijck (2013). Action emulation between canonical models. Journal of Philosophical Logic, 42 (6), 905-925. doi: 10.1007/s10992-013-9298-y
- D.J.N. van Eijck, J. Ruan & T. Sadzik (2013). Action Emulation. Synthese, 185 (1), 131-151. doi: 10.1007/s11229-012-0083-1
- H.C. Doets & D.J.N. van Eijck (2013). The Haskell Road to Logic, Maths and Programming, second edition. London: College Publications.
2012
- D.J.N. van Eijck (2012). Perception and Change in Update Logic. In Games, Actions, and Social Software (Texts in Logic and Games) (pp. 129-151). Berlin: Springer.
- D.J.N. van Eijck & F. Sietsma (2012). Questions about voting rules, with some answers. In V Goranko & W Jamroga (Eds.), Proceedings of the 5th Workshop on Logical Aspects of Multi-Agent Systems (pp. 39-54). Valencia: AAMAS.
2011
- D.J.N. van Eijck (2011). A geometric look at manipulation. In J Leite (Ed.), CLIMA XII Vol. 6814. Lecture Notes in Artificial Intelligence (pp. 92-104). Springer.
2010
- H.P. van Ditmarsch, D.J.N. van Eijck & W. Wu (2010). Verifying one hundred prisoners and a lightbulb. Journal of Applied Non-Classical Logics, 173-191. doi: 10.3166/jancl.20.173-191
2006
- J.F.A.K. van Benthem, D.J.N. van Eijck & B. Kooi (2006). Logics of Communication and Change. Information and Computation, 204 (11), 1620-1662.
- D.J.N. van Eijck & M.J.B. Stokhof (2006). The gamut of dynamic logics. In D. Gabbay & J. Woods (Eds.), Handbook of the history of logic. - Vol. 7: Logic and the modalities in the twentieth century (pp. 499-600). Amsterdam: Elsevier.
2014
- D.J.N. van Eijck & B.P. Renne (2014). Belief as Willingness to Bet. (extern rapport). : E-print 1412.5090, arXiv.org, December 2014. arXiv:1412.5090 [cs.LO].
- J.F.A.K. van Benthem, H.P. van Ditmarsch, D.J.N. van Eijck & J.O.M. Jaspars (2014). Logic in Action. internet: www.logicinaction.org.
- D.J.N. van Eijck (2014). PDL as a multi-agent strategy logic. In B.C Schipper (Ed.), TARK 2013 (pp. 10 pp). archiv.
This page has been automatically generated by the UvA-Current Research Information System. If you have any questions about the content of this page, please contact the UBAcoach or the Metis staff of your faculty / institute. To edit your publications login to Personal Metis.