Barteld Kooi

14 papers B 1Journal 10Unranked 1
YearRankTypeTitle / Venue / Authors
2023 J jnl
Solutions to the Knower Paradox in the Light of Haack's Criteria.
J. Philos. Log.
Mirjam de Vos, Rineke Verbrugge, Barteld Kooi
2023 J jnl
Two-sided Sequent Calculi for FDE-like Four-valued Logics.
J. Philos. Log.
Barteld Kooi, Allard M. Tamminga
2022 J jnl
Iterative social consolidations: Forming beliefs from many-valued evidence and peers' opinions.
J. Log. Comput.
Yuri David Santos, Barteld Kooi, Rineke Verbrugge
2021 — conf
How Knowledge Triggers Obligation - A Dynamic Logic of Epistemic Conditional Obligation.
LORI
Davide Grossi, Barteld Kooi, Xingchi Su, Rineke Verbrugge
2020 J jnl
Arrow update synthesis.
Inf. Comput.
Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi, Louwe B. Kuijer
2020 J jnl
Commonly Knowingly Whether.
CoRR
Jie Fan, Davide Grossi, Barteld Kooi, Xingchi Su, Rineke Verbrugge
2019 J jnl
A dynamic epistemic framework for reasoning about conformant probabilistic plans.
Artif. Intell.
Yanjun Li, Barteld Kooi, Yanjing Wang
2018 J jnl
Arrow Update Synthesis.
CoRR
Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi, Louwe B. Kuijer
2017 J jnl
Arbitrary arrow update logic.
Artif. Intell.
Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi, Louwe B. Kuijer
2017 B conf
Cheryl's Birthday.
TARK
Hans van Ditmarsch, Michael Ian Hartley, Barteld Kooi, Jonathan Welton, Joseph B. W. Yeo
2016 J jnl
The Ambiguity of Knowability.
Rev. Symb. Log.
Barteld Kooi
2015 — book
One Hundred Prisoners and a Light Bulb.
Hans van Ditmarsch, Barteld Kooi
2014 — ch.
Logic and Probabilistic Update.
Johan van Benthem on Logic and Information Dynamics
Lorenz Demey, Barteld Kooi
2011 J jnl
Arrow Update Logic.
Rev. Symb. Log.
Barteld Kooi, Bryan Renne