Search results for "Barteld P. Kooi"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi	Local properties in modal logic.	Artif. Intell.	2012	DBLP DOI BibTeX RDF
1	Tim French, Wiebe van der Hoek, Petar Iliev, Barteld P. Kooi	Succinctness of Epistemic Languages.	IJCAI	2011	DBLP BibTeX RDF
1	Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi	Reasoning about local properties in modal logic.	AAMAS	2011	DBLP BibTeX RDF
1	Barteld P. Kooi, Bryan Renne	Generalized arrow update logic.	TARK	2011	DBLP DOI BibTeX RDF
1	Johan van Benthem, Jelle Gerbrandy, Barteld P. Kooi	Dynamic Update with Probabilities.	Studia Logica	2009	DBLP DOI BibTeX RDF	Jeffrey’s rule, probability, update, dynamic epistemic logic
1	Gerard R. Renardel de Lavalette, Barteld P. Kooi, Rineke Verbrugge	Strong Completeness and Limited Canonicity for PDL.	Journal of Logic, Language and Information	2009	DBLP DOI BibTeX RDF
1	Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi	Knowing More - From Global to Local Correspondence.	IJCAI	2009	DBLP BibTeX RDF
1	Barteld P. Kooi, Allard M. Tamminga	Moral Conflicts between Groups of Agents.	J. Philosophical Logic	2008	DBLP DOI BibTeX RDF
1	Gerard R. Renardel de Lavalette, Barteld P. Kooi, Rineke Verbrugge	Strong Completeness and Limited Canonicity for PDL.	Journal of Logic, Language and Information	2008	DBLP DOI BibTeX RDF	Canonical model, Model disharmony, Propositional dynamic logic, Strong completeness
1	Allard M. Tamminga, Barteld P. Kooi	Conditional Obligations in Strategic Situations.	NORMAS	2008	DBLP BibTeX RDF
1	Barteld P. Kooi	Expressivity and completeness for public update logics via reduction axioms.	Journal of Applied Non-Classical Logics	2007	DBLP BibTeX RDF
1	Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi	Dynamic Epistemic Logic and Knowledge Puzzles.	ICCS	2007	DBLP DOI BibTeX RDF	multiagent systems, belief revision, epistemic logic, dynamic epistemic logic
1	Johan van Benthem, Jan van Eijck, Barteld P. Kooi	Logics of communication and change.	Inf. Comput.	2006	DBLP DOI BibTeX RDF
1	Barteld P. Kooi, Gerard R. Renardel de Lavalette, Rineke Verbrugge	Hybrid Logics with Infinitary Proof Systems.	J. Log. Comput.	2006	DBLP DOI BibTeX RDF
1	Hans P. van Ditmarsch, Barteld P. Kooi	Semantic results for ontic and epistemic change	CoRR	2006	DBLP BibTeX RDF
1	Hans P. van Ditmarsch, Barteld P. Kooi	The Secret of My Success.	Synthese	2006	DBLP DOI BibTeX RDF
1	Hans P. van Ditmarsch, Barteld P. Kooi	The Secret of My Success.	Synthese	2006	DBLP DOI BibTeX RDF
1	Barteld P. Kooi, Allard M. Tamminga	Conflicting Obligations in Multi-agent Deontic Logic.	DEON	2006	DBLP DOI BibTeX RDF
1	Barteld P. Kooi	Yet Another Mastermind Strategy.	ICGA Journal	2005	DBLP BibTeX RDF
1	Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi	Dynamic epistemic logic with assignment.	AAMAS	2005	DBLP DOI BibTeX RDF	assignment, agent communication, dynamic epistemic logic
1	Johan van Benthem, Jan van Eijck, Barteld P. Kooi	Common knowledge in update logics.	TARK	2005	DBLP DOI BibTeX RDF
1	Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi	Public Announcements and Belief Expansion.	Advances in Modal Logic	2004	DBLP BibTeX RDF
1	Barteld P. Kooi	Probabilistic Dynamic Epistemic Logic.	Journal of Logic, Language and Information	2003	DBLP DOI BibTeX RDF	higher order information, probability, updates, epistemic logic, dynamic logic
1	Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi	Concurrent dynamic epistemic logic for MAS.	AAMAS	2003	DBLP DOI BibTeX RDF	concurrency, agent communication, dynamic epistemic logic

Publications of "Barteld P. Kooi" ( http://dblp.L3S.de/Authors/Barteld_P._Kooi )