Research output per year
Research output per year
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Two-sided Sequent Calculi for FDE-like Four-valued Logics
Kooi, B. & Tamminga, A., Apr-2023, In: Journal of Philosophical Logic. 52, p. 495-518 24 p.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile4 Downloads (Pure) -
Iterative social consolidations: Forming beliefs from many-valued evidence and peers' opinions
Santos, Y. D., Kooi, B. & Verbrugge, R., 1-Sept-2022, In: Journal of Logic and Computation. 32, 6, p. 1142-1161 20 p.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile1 Downloads (Pure) -
Commonly Knowing Whether
Su, X., Kooi, B., Verbrugge, R., Grossi, D. & Fan, J., 7-Mar-2021.Research output: Contribution to conference › Paper › Academic
-
How Knowledge Triggers Obligation: A Dynamic Logic of Epistemic Conditional Obligation
Grossi, D., Kooi, B., Su, X. & Verbrugge, R., 2021, Logic, Rationality, and Interaction - 8th International Workshop, LORI 2021, Proceedings. Ghosh, S. & Icard, T. (eds.). Springer Science and Business Media Deutschland GmbH, p. 201-215 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13039 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile1 Citation (Scopus)29 Downloads (Pure) -
Arrow update synthesis
Ditmarsch ,van, H., Hoek, W. V. D., Kooi, B. & Kuijer, B., Dec-2020, In: Information and Computation. 275, 28 p., 104544.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile5 Citations (Scopus)27 Downloads (Pure)
Activities
-
Two-sided sequent calculi for FDE-like four-valued logics
Allard Tamminga (Speaker) & Barteld Kooi (Contributor)
2-Dec-2021 → 4-Dec-2021Activity: Talk and presentation › Academic presentation › Academic
-
Evidence-Based Beliefs in Many-Valued Modal Logics
Barteld Kooi (Supervisor) & Rineke Verbrugge (Supervisor)
14-Jan-2021Activity: Examination, teaching and supervision › Supervision and examination of PhD students of the UG › Academic
-
Expert Committee
Barteld Kooi (Consultant)
2021 → …Activity: External assignment › Consultancy › Professional
-
Dynamic term-modal logic revisited
Barteld Kooi (Invited speaker)
15-Nov-2019 → 17-Nov-2019Activity: Talk and presentation › Academic presentation › Academic
-
Groningse Nacht van de Filosofie 2014
Barteld Kooi (Invited speaker)
3-Apr-2014Activity: Talk and presentation › Professional or public presentation › Professional
Press/Media
-
Ionica zag een getal
Barteld Kooi & Hans Ditmarsch ,van
06/12/2014
1 item of Media coverage
Press/Media: Other › Popular