Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 70
Number of items: 70
  • Open Access
    van Benthem, J., van Eijck, J., Gattinger, M., & Su, K. (2015). Symbolic Model Checking for Dynamic Epistemic Logic. In W. van der Hoek, W. H. Holliday, & W.-F. Wang (Eds.), Logic, Rationality, and Interaction: 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015 : proceedings (pp. 366-378). (Lecture Notes in Computer Science ; Vol. 9394), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-662-48561-3_30
  • van Eijck, J., & Verbrugge, R. (2014). Formal Approaches to Social Procedures. Stanford Encyclopedia of Philosophy, 2014(Fall). https://plato.stanford.edu/archives/fall2014/entries/social-procedures/
  • Open Access
    van Eijck, J., & Zaytsev, V. (2014). Flipped Graduate Classroom in a Haskell-based Software Testing Course. Paper presented at 3rd International Workshop on Trends in Functional Programming in Education, Soesterberg, Netherlands. http://grammarware.net/writes/index.html#Flipped2014
  • Open Access
    van Eijck, J., & Schwarzentruber, F. (2014). Epistemic Probability Logic Simplified. In R. Goré, B. Kooi, & A. Kurucz (Eds.), Advances in Modal Logic: AiML 10 (pp. 158-177). College Publications. http://www.aiml.net/volumes/volume10/Eijck-Schwarzentruber.pdf
  • Open Access
    van Eijck, J., & Renne, B. (2014). Belief as Willingness to Bet. (v2 ed.) ArXiv. https://doi.org/10.48550/arXiv.1412.5090
  • Open Access
    van Eijck, J. (2014). Dynamic Epistemic Logics. In A. Baltag, & S. Smets (Eds.), Johan van Benthem on Logic and Information Dynamics (pp. 175-202). (Outstanding contributions to logic; Vol. 5). Springer. https://doi.org/10.1007/978-3-319-06025-5_7
  • Sietsma, F., & van Eijck, J. (2013). Action emulation between canonical models. Journal of Philosophical Logic, 42(6), 905-925. https://doi.org/10.1007/s10992-013-9298-y
  • Open Access
    van Eijck, J. (2013). PDL as a multi-agent strategy logic. In B. C. Schipper (Ed.), TARK 2013 - Proceedings of the 14. Conference on Theoretical Aspects of Rationality and Knowledge: Chennai, India, January 7-9, 2013 (pp. 206-215). ArXiv. https://arxiv.org/abs/1310.6437
  • van Eijck, J., Ruan, J., & Sadzik, T. (2012). Action Emulation. Synthese, 185(Supplement 1), 131-151. https://doi.org/10.1007/s11229-012-0083-1
  • Doets, K., & van Eijck, J. (2012). The Haskell Road to Logic, Maths and Programming. (2nd ed.) (Texts in computing; Vol. 4). College Publications.
Page 2 of 7