VIDI Kooi

  • Postal address

    Netherlands

Filter
Chapter

Search results

  • 2014

    How Arbitrary are Arbitrary Public Announcements?

    Kuijer, B., 2014, Pristine Perspectives on Logic, Language and Computation: ESSLLI 2012 and ESSLLI 2013 Student Sessions, Selected Papers. Colinet, M., Katrenko, S. & Rendsvig, R. (eds.). Springer, p. 109-123 (Lecture Notes in Computer Science; vol. 8607).

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

    Open Access
    File
    5 Citations (Scopus)
    388 Downloads (Pure)

  • Logic and probabilistic update

    Demey, L. & Kooi, B., 2014, Johan van Benthem on Logic and Information. Baltag, A. & Smets, S. (eds.). Springer, Vol. 5. p. 381-404 24 p. (Oustanding Contributions to Logic; vol. 5).

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

    5 Citations (Scopus)
  • 2013

    How arbitrary are arbitrary public announcements?

    Kuijer, B., 2013, ESSLLI Student Session 2013 Preproceedings. Springer, p. 76-85

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

  • Hypersequent and labelled calculi for intermediate logics

    Maffezioli, P., Ciabattoni, A. & Spendier, L., 2013, Automated reasoning with analytic tableaux and related methods. Galmiche, D. & Larchey-Wendling, D. (eds.). Heidelberg: Springer, p. 81-96 (Lecture notes in computer science; vol. 8123).

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

    15 Citations (Scopus)

  • Sequent systems for nondeterministic propositional logics without reflexivity

    Kuijer, B., 2013, Logic, Rationality and Interaction: Proceedings of the Fourth International Workshop on Logic, Rationality and Interaction (LORI-IV), LNCS 8196. Grossi, D., Roy, O. & Huang, H. (eds.). Springer, p. 190-203

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

    2 Citations (Scopus)
  • 2012

    Information change and first-order dynamic logic

    Kooi, B. P., 2012, New waves in philosophical logic. Restall, G. & Russell, G. (eds.). New York: Palgrave MacMillan, p. 30 - 38 9 p.

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