| 2008 |
|---|
| 14 | | Allard M. Tamminga,
Barteld P. Kooi:
Conditional Obligations in Strategic Situations.
NORMAS 2008: 188-200 |
| 13 | EE | Gerard 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 |
|---|
| 12 | EE | Hans P. van Ditmarsch,
Wiebe van der Hoek,
Barteld P. Kooi:
Dynamic Epistemic Logic and Knowledge Puzzles.
ICCS 2007: 45-58 |
| 2006 |
|---|
| 11 | EE | Barteld P. Kooi,
Allard M. Tamminga:
Conflicting Obligations in Multi-agent Deontic Logic.
DEON 2006: 175-186 |
| 10 | EE | Hans P. van Ditmarsch,
Barteld P. Kooi:
Semantic results for ontic and epistemic change
CoRR abs/cs/0610093: (2006) |
| 9 | EE | Johan van Benthem,
Jan van Eijck,
Barteld P. Kooi:
Logics of communication and change.
Inf. Comput. 204(11): 1620-1662 (2006) |
| 8 | EE | Barteld P. Kooi,
Gerard R. Renardel de Lavalette,
Rineke Verbrugge:
Hybrid Logics with Infinitary Proof Systems.
J. Log. Comput. 16(2): 161-175 (2006) |
| 7 | EE | Hans P. van Ditmarsch,
Barteld P. Kooi:
The Secret of My Success.
Synthese 153(2): 339 (2006) |
| 2005 |
|---|
| 6 | EE | Hans P. van Ditmarsch,
Wiebe van der Hoek,
Barteld P. Kooi:
Dynamic epistemic logic with assignment.
AAMAS 2005: 141-148 |
| 5 | EE | Johan van Benthem,
Jan van Eijck,
Barteld P. Kooi:
Common knowledge in update logics.
TARK 2005: 253-261 |
| 4 | | Barteld P. Kooi:
Yet Another Mastermind Strategy.
ICGA Journal 28(1): 13-20 (2005) |
| 2004 |
|---|
| 3 | EE | Hans P. van Ditmarsch,
Wiebe van der Hoek,
Barteld P. Kooi:
Public Announcements and Belief Expansion.
Advances in Modal Logic 2004: 335-346 |
| 2003 |
|---|
| 2 | EE | Hans P. van Ditmarsch,
Wiebe van der Hoek,
Barteld P. Kooi:
Concurrent dynamic epistemic logic for MAS.
AAMAS 2003: 201-208 |
| 1 | EE | Barteld P. Kooi:
Probabilistic Dynamic Epistemic Logic.
Journal of Logic, Language and Information 12(4): 381-408 (2003) |
