Barteld P. Kooi

34 papers A* 2A 3B 6C 1Misc 1Journal 19Unranked 2
YearRankTypeTitle / Venue / Authors
2025 B conf
It takes one to know one: Theory of mind helps children to detect lies that are revealed by semantic leakage.
CogSci
Özlem Yeter, Barteld P. Kooi, Rineke Verbrugge, Petra Hendriks
2024 B conf
Semantic Leakage Enables Lie Detection, but First-Person Pronouns and Verbosity Can Get in the Way of Detection.
CogSci
Özlem Yeter, Barteld P. Kooi, Harmen de Weerd, Rineke Verbrugge, Petra Hendriks
2015 J jnl
An Introduction to Logics of Knowledge and Belief.
CoRR
Hans van Ditmarsch, Joseph Y. Halpern, Wiebe van der Hoek, Barteld P. Kooi
2014 B ed.
Advances in Modal Logic 10, invited and contributed papers from the tenth conference on "Advances in Modal Logic," held in Groningen, The Netherlands, August 5-8, 2014
Advances in Modal Logic
Rajeev Goré, Barteld P. Kooi, Agi Kurucz
2013 J jnl
On the succinctness of some modal logics.
Artif. Intell.
Tim French, Wiebe van der Hoek, Petar Iliev, Barteld P. Kooi
2013 J jnl
Three-valued Logics in Modal Logic.
Stud Logica
Barteld P. Kooi, Allard M. Tamminga
2012 J jnl
Completeness via Correspondence for Extensions of the Logic of Paradox.
Rev. Symb. Log.
Barteld P. Kooi, Allard M. Tamminga
2012 J jnl
Local properties in modal logic.
Artif. Intell.
Hans van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi
2012 C conf
On the Relative Succinctness of Two Extensions by Definitions of Multimodal Logic.
CiE
Wiebe van der Hoek, Petar Iliev, Barteld P. Kooi
2011 B conf
Generalized arrow update logic.
TARK
Barteld P. Kooi, Bryan Renne
2011 A conf
Reasoning about local properties in modal logic.
AAMAS
Hans van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi
2011 A* conf
Succinctness of Epistemic Languages.
IJCAI
Tim French, Wiebe van der Hoek, Petar Iliev, Barteld P. Kooi
2009 J jnl
Dynamic Update with Probabilities.
Stud Logica
Johan van Benthem, Jelle Gerbrandy, Barteld P. Kooi
2009 A* conf
Knowing More - From Global to Local Correspondence.
IJCAI
Hans van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi
2009 J jnl
Strong Completeness and Limited Canonicity for PDL.
J. Log. Lang. Inf.
Gerard R. Renardel de Lavalette, Barteld P. Kooi, Rineke Verbrugge
2008 — conf
Conditional Obligations in Strategic Situations.
NORMAS
Allard M. Tamminga, Barteld P. Kooi
2008 J jnl
Moral Conflicts between Groups of Agents.
J. Philos. Log.
Barteld P. Kooi, Allard M. Tamminga
2008 J jnl
Strong Completeness and Limited Canonicity for PDL.
J. Log. Lang. Inf.
Gerard R. Renardel de Lavalette, Barteld P. Kooi, Rineke Verbrugge
2007 Misc conf
Dynamic Epistemic Logic and Knowledge Puzzles.
ICCS
Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi
2007 J jnl
Expressivity and completeness for public update logics via reduction axioms.
J. Appl. Non Class. Logics
Barteld P. Kooi
2006 — conf
Conflicting Obligations in Multi-agent Deontic Logic.
DEON
Barteld P. Kooi, Allard M. Tamminga
2006 J jnl
Hybrid Logics with Infinitary Proof Systems.
J. Log. Comput.
Barteld P. Kooi, Gerard R. Renardel de Lavalette, Rineke Verbrugge
2006 J jnl
Logics of communication and change.
Inf. Comput.
Johan van Benthem, Jan van Eijck, Barteld P. Kooi
2006 J jnl
Semantic results for ontic and epistemic change
CoRR
Hans P. van Ditmarsch, Barteld P. Kooi
2006 J jnl
The Secret of My Success.
Synth.
Hans van Ditmarsch, Barteld P. Kooi
2006 J jnl
The Secret of My Success.
Synth.
Hans van Ditmarsch, Barteld P. Kooi
2005 B conf
Common knowledge in update logics.
TARK
Johan van Benthem, Jan van Eijck, Barteld P. Kooi
2005 A conf
Dynamic epistemic logic with assignment.
AAMAS
Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi
2005 J jnl
Playing cards with Hintikka An introduction to dynamic epistemic logic.
Australas. J. Log.
Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi
2005 J jnl
Trying to Resolve the Two-Envelope Problem.
Synth.
Casper J. Albers, Barteld P. Kooi, Willem Schaafsma
2005 J jnl
Yet Another Mastermind Strategy.
ICGA J.
Barteld P. Kooi
2004 B conf
Public Announcements and Belief Expansion.
Advances in Modal Logic
Hans van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi
2003 A conf
Concurrent dynamic epistemic logic for MAS.
AAMAS
Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi
2003 J jnl
Probabilistic Dynamic Epistemic Logic.
J. Log. Lang. Inf.
Barteld P. Kooi