Barteld Kooi

If you made any changes in Pure these will be visible here soon.

Expert Committee
Barteld Kooi (Consultant)
2021 → …
Activity: External assignment › Consultancy › Professional
Two-sided sequent calculi for FDE-like four-valued logics
Allard Tamminga (Speaker) & Barteld Kooi (Contributor)
2-Dec-2021 → 4-Dec-2021
Activity: Talk and presentation › Academic presentation › Academic
Evidence-Based Beliefs in Many-Valued Modal Logics
Barteld Kooi (Supervisor) & Rineke Verbrugge (Supervisor)
14-Jan-2021
Activity: Examination, teaching and supervision › Supervision and examination of PhD students of the UG › Academic
Dynamic term-modal logic revisited
Barteld Kooi (Invited speaker)
15-Nov-2019 → 17-Nov-2019
Activity: Talk and presentation › Academic presentation › Academic
Groningse Nacht van de Filosofie 2014
Barteld Kooi (Invited speaker)
3-Apr-2014
Activity: Talk and presentation › Professional or public presentation › Professional

Activities