Barteld P. Kooi Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi: Knowing More - From Global to Local Correspondence. IJCAI 2009: 955-960
2008
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAllard M. Tamminga, Barteld P. Kooi: Conditional Obligations in Strategic Situations. NORMAS 2008: 188-200
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerard R. Renardel de Lavalette, Barteld P. Kooi, Rineke Verbrugge: Strong Completeness and Limited Canonicity for PDL. Journal of Logic, Language and Information 17(1): 69-87 (2008)
2007
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi: Dynamic Epistemic Logic and Knowledge Puzzles. ICCS 2007: 45-58
2006
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBarteld P. Kooi, Allard M. Tamminga: Conflicting Obligations in Multi-agent Deontic Logic. DEON 2006: 175-186
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans P. van Ditmarsch, Barteld P. Kooi: Semantic results for ontic and epistemic change CoRR abs/cs/0610093: (2006)
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohan van Benthem, Jan van Eijck, Barteld P. Kooi: Logics of communication and change. Inf. Comput. 204(11): 1620-1662 (2006)
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBarteld P. Kooi, Gerard R. Renardel de Lavalette, Rineke Verbrugge: Hybrid Logics with Infinitary Proof Systems. J. Log. Comput. 16(2): 161-175 (2006)
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans P. van Ditmarsch, Barteld P. Kooi: The Secret of My Success. Synthese 153(2): 339 (2006)
2005
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi: Dynamic epistemic logic with assignment. AAMAS 2005: 141-148
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohan van Benthem, Jan van Eijck, Barteld P. Kooi: Common knowledge in update logics. TARK 2005: 253-261
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBarteld P. Kooi: Yet Another Mastermind Strategy. ICGA Journal 28(1): 13-20 (2005)
2004
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi: Public Announcements and Belief Expansion. Advances in Modal Logic 2004: 335-346
2003
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi: Concurrent dynamic epistemic logic for MAS. AAMAS 2003: 201-208
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBarteld P. Kooi: Probabilistic Dynamic Epistemic Logic. Journal of Logic, Language and Information 12(4): 381-408 (2003)

Coauthor Index

1Johan van Benthem [5] [9]
2Hans P. van Ditmarsch [2] [3] [6] [7] [10] [12] [15]
3Jan van Eijck [5] [9]
4Wiebe van der Hoek [2] [3] [6] [12] [15]
5Gerard R. Renardel de Lavalette [8] [13]
6Allard M. Tamminga [11] [14]
7Rineke Verbrugge (L. C. Verbrugge) [8] [13]

Colors in the list of coauthors

Copyright © Sat Nov 28 20:06:51 2009 by Michael Ley (ley@uni-trier.de)