arrow
返回
B

Barteld Kooi

University of Groningen

22H指数
103论文数
4.2K被引数
收录论文 4
发表时间
Arbitrary arrow update logic
err2017-01-01
err10
errOAAI
errvan Ditmarsch, Hans; van der Hoek, Wiebe; Kooi, Barteld; Kuijer, Louwe B.
err分享
err收藏
On the succinctness of some modal logics
err2013-04-01
err22
errOAAI
errFrench, Tim; van der Hoek, Wiebe; Iliev, Petar; Kooi, Barteld
err分享
err收藏
Local properties in modal logic
err2012-08-01
err7
errOAAI
errvan Ditmarsch, Hans; van der Hoek, Wiebe; Kooi, Barteld
err分享
err收藏