Activiteiten per jaar
Activiteiten
- 2 resultaten
Zoekresultaten
-
Two-sided sequent calculi for FDE-like four-valued logics
Tamminga, A. (Speaker) & Kooi, B. (Contributor)
2-dec.-2021 → 4-dec.-2021Activiteit: Academic presentation › Academic
-
Dynamic term-modal logic revisited
Kooi, B. (Invited speaker)
15-nov.-2019 → 17-nov.-2019Activiteit: Academic presentation › Academic