Order:
Disambiguations
Barteld Kooi [38]Barteld Kooi [5]Barteld P. Kooi [3]
  1.  53
    Dynamic Epistemic Logic.Hans van Ditmarsch, Wiebe van der Hoek & Barteld Kooi - 2007 - Dordrecht, Netherland: Springer.
    Dynamic Epistemic Logic is the logic of knowledge change. This book provides various logics to support such formal specifications, including proof systems. Concrete examples and epistemic puzzles enliven the exposition. The book also offers exercises with answers. It is suitable for graduate courses in logic. Many examples, exercises, and thorough completeness proofs and expressivity results are included. A companion web page offers slides for lecturers and exams for further practice.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   84 citations  
  2. (1 other version)Dynamic Epistemic Logic.Hans van Ditmarsch, Wiebe van Der Hoek & Barteld Kooi - 2008 - Studia Logica 89 (3):441-445.
  3.  75
    Logics of Communication and Change. van Benthem, Johan, van Eijck, Jan & Kooi, Barteld - unknown
    Current dynamic epistemic logics for analyzing effects of informational events often become cumbersome and opaque when common knowledge is added for groups of agents. Still, postconditions involving common knowledge are essential to successful multi-agent communication. We propose new systems that extend the epistemic base language with a new notion of ‘relativized common knowledge’, in such a way that the resulting full dynamic logic of information flow allows for a compositional analysis of all epistemic postconditions via perspicuous ‘reduction axioms’. We also (...)
    Direct download  
     
    Export citation  
     
    Bookmark   121 citations  
  4. The Secret of My Success.Hans Van Ditmarsch & Barteld Kooi - 2006 - Synthese 151 (2):201-232.
    In an information state where various agents have both factual knowledge and knowledge about each other, announcements can be made that change the state of information. Such informative announcements can have the curious property that they become false because they are announced. The most typical example of that is 'fact p is true and you don't know that', after which you know that p, which entails the negation of the announcement formula. The announcement of such a formula in a given (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   43 citations  
  5. Solutions to the Knower Paradox in the Light of Haack’s Criteria.Mirjam de Vos, Rineke Verbrugge & Barteld Kooi - 2023 - Journal of Philosophical Logic 52 (4):1101-1132.
    The knower paradox states that the statement ‘We know that this statement is false’ leads to inconsistency. This article presents a fresh look at this paradox and some well-known solutions from the literature. Paul Égré discusses three possible solutions that modal provability logic provides for the paradox by surveying and comparing three different provability interpretations of modality, originally described by Skyrms, Anderson, and Solovay. In this article, some background is explained to clarify Égré’s solutions, all three of which hinge on (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6. Expressivity and completeness for public update logics via reduction axioms.Barteld Kooi - 2007 - Journal of Applied Non-Classical Logics 17 (2):231-253.
    In this paper, we present several extensions of epistemic logic with update operators modelling public information change. Next to the well-known public announcement operators, we also study public substitution operators. We prove many of the results regarding expressivity and completeness using so-called reduction axioms. We develop a general method for using reduction axioms and apply it to the logics at hand.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   31 citations  
  7. Dynamic Update with Probabilities.Johan van Benthem, Jelle Gerbrandy & Barteld Kooi - 2009 - Studia Logica 93 (1):67 - 96.
    Current dynamic-epistemic logics model different types of information change in multi-agent scenarios. We generalize these logics to a probabilistic setting, obtaining a calculus for multi-agent update with three natural slots: prior probability on states, occurrence probabilities in the relevant process taking place, and observation probabilities of events. To match this update mechanism, we present a complete dynamic logic of information change with a probabilistic character. The completeness proof follows a compositional methodology that applies to a much larger class of dynamic-probabilistic (...)
    Direct download (11 more)  
     
    Export citation  
     
    Bookmark   27 citations  
  8. Probabilistic dynamic epistemic logic.Barteld P. Kooi - 2003 - Journal of Logic, Language and Information 12 (4):381-408.
    In this paper I combine the dynamic epistemic logic ofGerbrandy (1999) with the probabilistic logic of Fagin and Halpern (1994). The resultis a new probabilistic dynamic epistemic logic, a logic for reasoning aboutprobability, information, and information change that takes higher orderinformation into account. Probabilistic epistemic models are defined, and away to build them for applications is given. Semantics and a proof systemis presented and a number of examples are discussed, including the MontyHall Dilemma.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   30 citations  
  9. Moral conflicts between groups of agents.Barteld Kooi & Allard Tamminga - 2008 - Journal of Philosophical Logic 37 (1):1-21.
    Two groups of agents, G1 and G2, face a *moral conflict* if G1 has a moral obligation and G2 has a moral obligation, such that these obligations cannot both be fulfilled. We study moral conflicts using a multi-agent deontic logic devised to represent reasoning about sentences like "In the interest of group F of agents, group G of agents ought to see to it that phi". We provide a formal language and a consequentialist semantics. An illustration of our semantics with (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  10. Completeness via correspondence for extensions of the logic of paradox.Barteld Kooi & Allard Tamminga - 2012 - Review of Symbolic Logic 5 (4):720-730.
    Taking our inspiration from modal correspondence theory, we present the idea of correspondence analysis for many-valued logics. As a benchmark case, we study truth-functional extensions of the Logic of Paradox (LP). First, we characterize each of the possible truth table entries for unary and binary operators that could be added to LP by an inference scheme. Second, we define a class of natural deduction systems on the basis of these characterizing inference schemes and a natural deduction system for LP. Third, (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  11. Semantic results for ontic and epistemic change. van Ditmarsch, Hans & Kooi, Barteld - unknown
    Hans van Ditmarsch and Barteld Kooi (2008). Semantic results for ontic and epistemic change. In: G. Bonanno, W. van der Hoek and M. Wooldridge (editors). Logic and the Foundations of Game and Decision Theory (LOFT 7). Texts in Logic and Games 3, pp. 87-117, Amsterdam University Press, Amsterdam.
    No categories
     
    Export citation  
     
    Bookmark   21 citations  
  12.  64
    Arrow update logic.Barteld Kooi & Bryan Renne - 2011 - Review of Symbolic Logic 4 (4):536-559.
    We present Arrow Update Logic, a theory of epistemic access elimination that can be used to reason about multi-agent belief change. While the belief-changing of Arrow Update Logic can be transformed into equivalent belief-changing from the popular Dynamic Epistemic Logic approach, we prove that arrow updates are sometimes exponentially more succinct than action models. Further, since many examples of belief change are naturally thought of from Arrow Update Logicrelativized” common knowledge familiar from the Dynamic Epistemic Logic literature.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  13.  22
    Dynamic Update with Probabilities.Johan Benthem, Jelle Gerbrandy & Barteld Kooi - 2009 - Studia Logica 93 (1):67-96.
    Current dynamic-epistemic logics model different types of information change in multi-agent scenarios. We generalize these logics to a probabilistic setting, obtaining a calculus for multi-agent update with three natural slots: prior probability on states, occurrence probabilities in the relevant process taking place, and observation probabilities of events. To match this update mechanism, we present a complete dynamic logic of information change with a probabilistic character. The completeness proof follows a compositional methodology that applies to a much larger class of dynamic-probabilistic (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  14. Logic and Probability.Lorenz Demey, Barteld Kooi & Joshua Sack - 2014 - In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy. Stanford, CA: The Metaphysics Research Lab.
     
    Export citation  
     
    Bookmark   10 citations  
  15.  33
    Generalized Arrow Update Logic.Bryan Renne & Barteld Kooi - unknown
    Barteld Kooi and Bryan Renne (2011). Generalized Arrow Update Logic. In K.R. Apt (editor). Theoretical Aspects of Rationality and Knowledge, Proceedings of the Thirteenth Conference (TARK 2011), pp. 205-211.
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  16.  22
    (1 other version)The Secret of My Success.Hans Ditmarsch & Barteld Kooi - 2006 - Synthese 151 (2):201-232.
    In an information state where various agents have both factual knowledge and knowledge about each other, announcements can be made that change the state of information. Such informative announcements can have the curious property that they become false because they are announced. The most typical example of that is ‘fact p is true and you don’t know that’, after which you know that p, which entails the negation of the announcement formula. The announcement of such a formula in a given (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   15 citations  
  17. (1 other version)Reduction axioms for epistemic actions. Kooi, Barteld & van Benthem, Johan - unknown
    Current dynamic epistemic logics often become cumbersome and opaque when common knowledge is added. In this paper we propose new versions that extend the underlying static epistemic language in such a way that dynamic completeness proofs can be obtained by perspicuous reduction axioms.
     
    Export citation  
     
    Bookmark   14 citations  
  18. Three-valued logics in modal logic.Barteld Kooi & Allard Tamminga - 2013 - Studia Logica 101 (5):1061-1072.
    Every truth-functional three-valued propositional logic can be conservatively translated into the modal logic S5. We prove this claim constructively in two steps. First, we define a Translation Manual that converts any propositional formula of any three-valued logic into a modal formula. Second, we show that for every S5-model there is an equivalent three-valued valuation and vice versa. In general, our Translation Manual gives rise to translations that are exponentially longer than their originals. This fact raises the question whether there are (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  19. How Knowledge Triggers Obligation.Davide Grossi, Barteld Kooi, Xingchi Su & Rineke Verbrugge - 2021 - In Sujata Ghosh & Thomas Icard (eds.), Logic, Rationality, and Interaction: 8th International Workshop, Lori 2021, Xi’an, China, October 16–18, 2021, Proceedings. Springer Verlag. pp. 201-215.
    Obligations can be affected by knowledge. Several approaches exist to formalize knowledge-based obligations, but no formalism has been developed yet to capture the dynamic interaction between knowledge and obligations. We introduce the dynamic extension of an existing logic for knowledge-based obligations here. We motivate the logic by analyzing several scenarios and by showing how it can capture in an original manner several fundamental deontic notions such as absolute, prima facie and all-things-considered obligations. Finally, in the dynamic epistemic logic tradition, we (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  20.  12
    Arbitrary arrow update logic.Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi & Louwe B. Kuijer - 2017 - Artificial Intelligence 242 (C):80-106.
  21.  21
    Succinctness of Epistemic Languages.Barteld Kooi, Wiebe van der Hoek, Petar Iliev & Tim French - unknown
    Tim French, Wiebe van der Hoek, Petar Iliev and Barteld Kooi. Succinctness of Epistemic Languages. In: T. Walsh (editor). Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence (IJCAI-11), pp. 881-886, AAAI Press, Menlo Park.
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  22.  9
    On the succinctness of some modal logics.Tim French, Wiebe van der Hoek, Petar Iliev & Barteld Kooi - 2013 - Artificial Intelligence 197 (C):56-85.
  23.  20
    A dynamic epistemic framework for reasoning about conformant probabilistic plans.Yanjun Li, Barteld Kooi & Yanjing Wang - 2019 - Artificial Intelligence 268 (C):54-84.
  24. (1 other version)Strong Completeness and Limited Canonicity for PDL.Gerard Renardel de Lavalette, Barteld Kooi & Rineke Verbrugge - 2008 - Journal of Logic, Language and Information 17 (1):69-87.
    Propositional dynamic logic is complete but not compact. As a consequence, strong completeness requires an infinitary proof system. In this paper, we present a short proof for strong completeness of $$\mathsf{PDL}$$ relative to an infinitary proof system containing the rule from [α; β n ]φ for all $$n \in {\mathbb{N}}$$, conclude $$[\alpha;\beta^*] \varphi$$. The proof uses a universal canonical model, and it is generalized to other modal logics with infinitary proof rules, such as epistemic knowledge with common knowledge. Also, we (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  25.  29
    Reaffirming the Status of the Knowledge Account of Assertion.Frank Hindriks & Barteld Kooi - 2014 - Journal of Philosophical Research 39:87-92.
    According to the expression account, assertion is the linguistic expression of belief. Given the knowledge rule of belief, this entails that knowledge is a normative requirement of sincere assertions. On this account, which is defended in Hindriks, knowledge can be a normative requirement of sincere assertions even though there is no knowledge rule that is constitutive of assertion. Ball criticizes this claim arguing that the derivation of the knowledge rule equivocates between epistemic and moral senses of obligation. In response, we (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  26.  23
    Logic and Probabilistic Update.Lorenz6 Demey & Barteld Kooi - 2014 - Johan van Benthem on Logic and Information Dynamics 5:381 - 404.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  27.  37
    Dynamic term-modal logic. Kooi, Barteld - unknown
    abstract. A first-order dynamic epistemic logic is developed where the names of the agents are also terms in the sense of first-order logic. Consequently one can quantify over epistemic modalities. Us- ing constructs from dynamic logic one can express many interesting concepts. First-order update models are developed and added to the language as modalities.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  28. Trying to Resolve the Two-Envelope Problem.Casper J. Albers, Barteld P. Kooi & Willem Schaafsma - 2005 - Synthese 145 (1):89-109.
    After explaining the well-known two-envelope paradox by indicating the fallacy involved, we consider the two-envelope problem of evaluating the factual information provided to us in the form of the value contained by the envelope chosen first. We try to provide a synthesis of contributions from economy, psychology, logic, probability theory (in the form of Bayesian statistics), mathematical statistics (in the form of a decision-theoretic approach) and game theory. We conclude that the two-envelope problem does not allow a satisfactory solution. An (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  29.  15
    Local properties in modal logic.Hans van Ditmarsch, Wiebe van der Hoek & Barteld Kooi - 2012 - Artificial Intelligence 187-188 (C):133-155.
  30.  24
    Hybrid logics with infinitary proof systems.Rineke Verbrugge, Gerard Renardel de Lavalette & Barteld Kooi - unknown
    We provide a strongly complete infinitary proof system for hybrid logic. This proof system can be extended with countably many sequents. Thus, although these logics may be non-compact, strong completeness proofs are provided for infinitary hybrid versions of non-compact logics like ancestral logic and Segerberg’s modal logic with the bounded chain condition. This extends the completeness result for hybrid logics by Gargov, Passy, and Tinchev.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  31. Yet another mastermind strategy. Kooi, Barteld - unknown
    Over the years a lot of easily computable strategies for the game mastermind have been proposed. One of the obvious strategies, guess that code that has the most possible answers, has been lacking. It is discussed in this paper.
    No categories
     
    Export citation  
     
    Bookmark   3 citations  
  32.  58
    Two-sided Sequent Calculi for FDE-like Four-valued Logics.Barteld Kooi & Allard Tamminga - 2023 - Journal of Philosophical Logic 52 (2):495-518.
    We present a method that generates two-sided sequent calculi for four-valued logics like "first degree entailment" (FDE). (We say that a logic is FDE-like if it has finitely many operators of finite arity, including negation, and if all of its operators are truth-functional over the four truth-values 'none', 'false', 'true', and 'both', where 'true' and 'both' are designated.) First, we show that for every n-ary operator * every truth table entry f*(x1,...,xn) = y can be characterized in terms of a (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  33.  44
    The ambiguity of knowability.Barteld Kooi - 2016 - Review of Symbolic Logic 9 (3):421-428.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  34.  19
    Advances in Modal Logic, Volume 10: Papers From the Tenth Aiml Conference, Held in Groningen, the Netherlands, August 2014.Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.) - 2014 - London, England: CSLI Publications.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  35.  26
    Reasoning about local properties in modal logic.Wiebe van der Hoek, Hans van Ditmarsch & Barteld Kooi - unknown
    Hans van Ditmarsch, Wiebe van der Hoek and Barteld Kooi (2011). Reasoning about local properties in modal logic. In K. Tumer and P. Yolum and L. Sonenberg and P. Stone (editors). Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), pp. 711-718.
    Direct download  
     
    Export citation  
     
    Bookmark  
  36. De logica van informati everandering.Barteld Kooi - 2007 - Algemeen Nederlands Tijdschrift voor Wijsbegeerte 99 (2):146-153.
    No categories
     
    Export citation  
     
    Bookmark  
  37.  20
    Dynamic Term-Modal Logic Revisited.Barteld Kooi - unknown
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  38.  1
    Going Around in Circles.Barteld Kooi - forthcoming - Argumentation:1-21.
    This paper tries to reconcile the clash between argumentation theory and formal logic regarding circular arguments, which are regarded as the fallacy of begging the question by the former, and a benign and useful inference pattern by the latter. This paper provides a formal system which can represent circular arguments found in the literature. The formal system makes it possible to distinguish two ways in which arguments can be circular. The first type of circularity, which is vicious, is when an (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  39. (1 other version)Playing Cards with Hintikka: An Introduction to Dynamic Epistemic Logic.Barteld Kooi, Wiebe Hoek & Hans Ditmarsch - 2018 - In Hans van Ditmarsch & Gabriel Sandu (eds.), Jaakko Hintikka on Knowledge and Game Theoretical Semantics. Cham, Switzerland: Springer.
    No categories
     
    Export citation  
     
    Bookmark  
  40.  38
    Een analyse van de Hangman Paradox in dynamische epistemische logica.Hans van Ditmarsch & Barteld Kooi - 2005 - Algemeen Nederlands Tijdschrift voor Wijsbegeerte 97:16-30.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  41. Spelen met verandering en onzekerheid. Rationele-keuzetheorie en logica.Hans P. van Ditmarsch & Barteld P. Kooi - 2002 - Algemeen Nederlands Tijdschrift voor Wijsbegeerte 94 (1).
    No categories
     
    Export citation  
     
    Bookmark