Search the dblp DataBase

Publications of Author

1. Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi
   Public Announcements and Belief Expansion. [Citation Graph (0, 0)][DBLP]
   Advances in Modal Logic, 2004, pp:335-346 [Conf]
   
2. Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi
   Concurrent dynamic epistemic logic for MAS. [Citation Graph (0, 0)][DBLP]
   AAMAS, 2003, pp:201-208 [Conf]
   
3. Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi
   Dynamic epistemic logic with assignment. [Citation Graph (0, 0)][DBLP]
   AAMAS, 2005, pp:141-148 [Conf]
   
4. Barteld P. Kooi, Allard M. Tamminga
   Conflicting Obligations in Multi-agent Deontic Logic. [Citation Graph (0, 0)][DBLP]
   DEON, 2006, pp:175-186 [Conf]
   
5. Johan van Benthem, Jan van Eijck, Barteld P. Kooi
   Common knowledge in update logics. [Citation Graph (0, 0)][DBLP]
   TARK, 2005, pp:253-261 [Conf]
   
6. Johan van Benthem, Jan van Eijck, Barteld P. Kooi
   Logics of communication and change. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2006, v:204, n:11, pp:1620-1662 [Journal]
   
7. Barteld P. Kooi
   Probabilistic Dynamic Epistemic Logic. [Citation Graph (0, 0)][DBLP]
   Journal of Logic, Language and Information, 2003, v:12, n:4, pp:381-408 [Journal]
   
8. Barteld P. Kooi, Gerard R. Renardel de Lavalette, Rineke Verbrugge
   Hybrid Logics with Infinitary Proof Systems. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2006, v:16, n:2, pp:161-175 [Journal]
   
9. Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi
   Dynamic Epistemic Logic and Knowledge Puzzles. [Citation Graph (0, 0)][DBLP]
   ICCS, 2007, pp:45-58 [Conf]
   
10. Hans P. van Ditmarsch, Barteld P. Kooi
    Semantic results for ontic and epistemic change [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
    
11. 
    Knowing More - From Global to Local Correspondence. [Citation Graph (, )][DBLP]
    
    
12. 
    Conditional Obligations in Strategic Situations. [Citation Graph (, )][DBLP]