Skip to main navigation Skip to search Skip to main content

VIDI Kooi

  • Postal address

    Netherlands

Fingerprint

Dive into the research topics where VIDI Kooi is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.
View full fingerprint

  • Modular sequent calculi for classical modal logics

    Gilbert, D. & Maffezioli, P., Feb-2015, In: Studia Logica. 103, 1, p. 175-217 43 p.

    Research output: Contribution to journal › Article › Academic › peer-review

    Open Access
    File
    14 Citations (Scopus)
    44 Downloads (Pure)

  • The expressivity of update logics

    Kuijer, L. B., 2015, In: Journal of Logic and Computation. 25, 3, p. 719-742

    Research output: Contribution to journal › Article › Academic › peer-review

    Open Access
    File
    2 Citations (Scopus)
    151 Downloads (Pure)

  • Advances in Modal Logic

    Goré, R. (Editor), Kooi, B. (Editor) & Kurucz, A. (Editor), 2014, College Publications. 587 p.

    Research output: Book/Report › Book › Academic

View all 17 research outputs