Barteld Kooi

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 11

Top Topics

Belief Revision

Sequent Calculi

Top Venues

J. Philos. Log.

J. Log. Comput.

Publications

Barteld Kooi, Allard M. Tamminga
Two-sided Sequent Calculi for FDE-like Four-valued Logics. J. Philos. Log. 52 (2) (2023)
Mirjam de Vos, Rineke Verbrugge, Barteld Kooi
Solutions to the Knower Paradox in the Light of Haack's Criteria. J. Philos. Log. 52 (4) (2023)
Yuri David Santos, Barteld Kooi, Rineke Verbrugge
Iterative social consolidations: Forming beliefs from many-valued evidence and peers' opinions. J. Log. Comput. 32 (6) (2022)
Davide Grossi, Barteld Kooi, Xingchi Su, Rineke Verbrugge
How Knowledge Triggers Obligation - A Dynamic Logic of Epistemic Conditional Obligation. LORI (2021)
Jie Fan, Davide Grossi, Barteld Kooi, Xingchi Su, Rineke Verbrugge
Commonly Knowingly Whether. CoRR (2020)
Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi, Louwe B. Kuijer
Arrow update synthesis. Inf. Comput. 275 (2020)
Yanjun Li, Barteld Kooi, Yanjing Wang
A dynamic epistemic framework for reasoning about conformant probabilistic plans. Artif. Intell. 268 (2019)
Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi, Louwe B. Kuijer
Arrow Update Synthesis. CoRR (2018)
Hans van Ditmarsch, Michael Ian Hartley, Barteld Kooi, Jonathan Welton, Joseph B. W. Yeo
Cheryl's Birthday. TARK (2017)
Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi, Louwe B. Kuijer
Arbitrary arrow update logic. Artif. Intell. 242 (2017)
Barteld Kooi
The Ambiguity of Knowability. Rev. Symb. Log. 9 (3) (2016)
Barteld Kooi, Bryan Renne
Arrow Update Logic. Rev. Symb. Log. 4 (4) (2011)