フォロー
Barteld Kooi
Barteld Kooi
professor of logic and argumentation theory, University of Groningen
確認したメール アドレス: rug.nl - ホームページ
タイトル
引用先
引用先
Dynamic epistemic logic
H Van Ditmarsch, W Van Der Hoek, B Kooi
Springer Verlag, 2007
20812007
Logics of communication and change
J Van Benthem, J Van Eijck, B Kooi
Information and computation 204 (11), 1620-1662, 2006
5732006
Handbook of epistemic logic
H Van Ditmarsch, W van der Hoek, JY Halpern, B Kooi
College Publications, 2015
1892015
Probabilistic dynamic epistemic logic
BP Kooi
Journal of Logic, Language and Information 12, 381-408, 2003
1742003
Dynamic update with probabilities
J Van Benthem, J Gerbrandy, B Kooi
Studia Logica 93, 67-96, 2009
1712009
Dynamic epistemic logic with assignment
HP van Ditmarsch, W van der Hoek, BP Kooi
Proceedings of the fourth international joint conference on Autonomous …, 2005
1522005
The secret of my success
H Van Ditmarsch, B Kooi
Synthese 151, 201-232, 2006
1452006
Expressivity and completeness for public update logics via reduction axioms
B Kooi
Journal of Applied Non-Classical Logics 17 (2), 231-253, 2007
1332007
Semantic results for ontic and epistemic change
H van Ditmarsch, B Kooi
Logic and the foundations of game and decision theory (LOFT 7) 3, 87-117, 2008
1232008
Reduction axioms for epistemic actions
B Kooi, J van Benthem
Advances in Modal Logic, 197-211, 2004
882004
Arrow update logic
B Kooi, B Renne
The Review of Symbolic Logic 4 (4), 536-559, 2011
862011
Knowledge, chance, and change
B Kooi
University of Amsterdam, 2003
852003
Moral conflicts between groups of agents
B Kooi, A Tamminga
Journal of Philosophical Logic 37 (1), 1-21, 2008
812008
Logic and probability
L Demey, B Kooi, J Sack
752013
Yet another mastermind strategy
B Kooi
ICGA Journal 28 (1), 13-20, 2005
682005
Completeness via correspondence for extensions of the logic of paradox
B Kooi, A Tamminga
The Review of Symbolic Logic 5 (4), 720-730, 2012
492012
One hundred prisoners and a light bulb
H Van Ditmarsch, B Kooi, H van Ditmarsch, B Kooi
One Hundred Prisoners and a Light Bulb, 83-94, 2015
472015
Concurrent dynamic epistemic logic
HP Van Ditmarsch, W Van Der Hoek, BP Kooi
Knowledge contributors, 105-143, 2003
472003
Concurrent dynamic epistemic logic
HP Van Ditmarsch, W Van Der Hoek, BP Kooi
Knowledge Contributors, 105-143, 2003
472003
On the succinctness of some modal logics
T French, W van Der Hoek, P Iliev, B Kooi
Artificial Intelligence 197, 56-85, 2013
452013
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20