VENI Kooi

  • Postal address

    Netherlands

Filter
Chapter

Search results

  • 2011

    Dynamic epistemic logic

    Kooi, B. P., 2011, Handbook of Logic and Language. (second edition). van Benthem, J. & ter Meulen, A. (eds.). Amsterdam: Elsevier, p. 671 - 690 20 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

    2 Citations (Scopus)
  • 2007

    Dynamic epistemic logic and knowledge puzzles

    van der Hoek, W., Kooi, B. P. & van Ditmarsch, H., 2007, Conceptual Structures: Knowledge Architectures for Smart Applications. Priss, U., Polovina, S. & Hill, R. (eds.). Berlin: Springer, Vol. 4604. p. 45 - 58 14 p. (Lecture Notes in Artificial Intelligence; no. 4604).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

    4 Citations (Scopus)

  • Dynamic term-modal logic

    Kooi, B. P., 2007, A Meeting of the Minds, Proceedings of the Workshop on Logic, Rationality and Interaction. van Benthem, J., Ju, S. & Veltman, F. (eds.). London: College Publications, p. 173 - 185 13 p. (Computing Computer Science; no. 8).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic