Organisational unit: Research Project

  1. 2014
  2. Goré, R., Kooi, B., & Kurucz, A. (Eds.) (2014). Advances in Modal Logic. College Publications.
  3. Kuijer, B. (2014). Expressivity of Logics of Knowledge and Action [S.l.]: [S.n.]
  4. Kuijer, B. (2014). How Arbitrary are Arbitrary Public Announcements? In M. Colinet, S. Katrenko, & R. Rendsvig (Eds.), Pristine Perspectives on Logic, Language and Computation: ESSLLI 2012 and ESSLLI 2013 Student Sessions, Selected Papers (pp. 109-123). (Lecture Notes in Computer Science; Vol. 8607). Springer. DOI: 10.1007/978-3-662-44116-9_8
  5. Demey, L., & Kooi, B. (2014). Logic and probabilistic update. In A. Baltag, & S. Smets (Eds.), Johan van Benthem on Logic and Information (Vol. 5, pp. 381-404). (Oustanding Contributions to Logic; Vol. 5). Springer. DOI: 10.1007/978-3-319-06025-5_13
  6. 2013
  7. Kuijer, B. (2013). How arbitrary are arbitrary public announcements? In ESSLLI Student Session 2013 Preproceedings (pp. 76-85). Springer.
  8. Maffezioli, P., Ciabattoni, A., & Spendier, L. (2013). Hypersequent and labelled calculi for intermediate logics. In D. Galmiche, & D. Larchey-Wendling (Eds.), Automated reasoning with analytic tableaux and related methods (pp. 81-96). (Lecture notes in computer science; Vol. 8123). Heidelberg: Springer.
  9. Kuijer, B. (2013). Sequent systems for nondeterministic propositional logics without reflexivity. In D. Grossi, O. Roy, & H. Huang (Eds.), Logic, Rationality and Interaction: Proceedings of the Fourth International Workshop on Logic, Rationality and Interaction (LORI-IV), LNCS 8196 (pp. 190-203). Springer.
  10. Maffezioli, P., Naibo, A., & Negri, S. (2013). The Church-Fitch paradox in the light of structural proof theory. Synthese, 190(14), 2677-2716.
  11. 2012
  12. Kooi, B. P. (2012). Information change and first-order dynamic logic. In G. Restall, & G. Russell (Eds.), New waves in philosophical logic (pp. 30 - 38). New York: Palgrave MacMillan.
  13. van der Hoek, W., Iliev, P., & Kooi, B. P. (2012). On the relative succinctness of two extensions by definitions of multimodal logic. In S. B. Cooper, A. Dawar, & B. Löwe (Eds.), How the World Computes - Turing Centenary Conference and 8th Conference on Computability in Europe (CiE) (Vol. 7318, pp. 323 - 333). (Lecture Notes in Computer Science). Lecture notes in computer science. DOI: 10.1007/978-3-642-30870-3_33
  14. 2011

ID: 38383