Results for 'Sicco Kooi'

97 found
Order:
  1. 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 (9 more)  
     
    Export citation  
     
    Bookmark   31 citations  
  2.  27
    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  
  3. 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  
  4. 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  
  5.  39
    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  
  6.  8
    Going Around in Circles.Barteld Kooi - 2024 - Argumentation 38 (4):477-497.
    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  
  7.  47
    The ambiguity of knowability.Barteld Kooi - 2016 - Review of Symbolic Logic 9 (3):421-428.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  67
    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  
  9. 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  
  10. 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   31 citations  
  11. De logica van informati everandering.Barteld Kooi - 2007 - Algemeen Nederlands Tijdschrift voor Wijsbegeerte 99 (2):146-153.
    No categories
     
    Export citation  
     
    Bookmark  
  12.  20
    Auction optimization using regression trees and linear models as integer programs.Sicco Verwer, Yingqian Zhang & Qing Chuan Ye - 2017 - Artificial Intelligence 244 (C):368-395.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  35
    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  
  14.  59
    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  
  15. 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  
  16.  39
    Numerical bifurcation analysis of ecosystems in a spatially homogeneous environment.B. W. Kooi - 2003 - Acta Biotheoretica 51 (3):189-222.
    The dynamics of single populations up to ecosystems, are often described by one or a set of non-linear ordinary differential equations. In this paper we review the use of bifurcation theory to analyse these non-linear dynamical systems. Bifurcation analysis gives regimes in the parameter space with quantitatively different asymptotic dynamic behaviour of the system. In small-scale systems the underlying models for the populations and their interaction are simple Lotka-Volterra models or more elaborated models with more biological detail. The latter ones (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  17. 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  
  18. 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  
  19.  20
    Dynamic Term-Modal Logic Revisited.Barteld Kooi - unknown
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  16
    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. pp. 237-262.
    This contribution is a gentle introduction to so-called dynamic epistemic logics, that can describe how agents change their knowledge and beliefs. We start with a concise introduction to epistemic logic, through the example of one, two and finally three players holding cards; and, mainly for the purpose of motivating the dynamics, we also very summarily introduce the concepts of general and common knowledge. We then pay ample attention to the logic of public announcements, wherein agents change their knowledge as the (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  23
    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  
  22.  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   16 citations  
  23. Logic and Probability.Lorenz Demey, Barteld Kooi & Joshua Sack - 2012 - In Ed Zalta (ed.), Stanford Encyclopedia of Philosophy. Stanford, CA: Stanford Encyclopedia of Philosophy.
     
    Export citation  
     
    Bookmark   10 citations  
  24.  24
    Weisheit in der Weltgeschichte: Philosophiegeschichte zwischen Barock und Aufklärung.Sicco Lehmann-Brauns - 2004 - Tübingen: Niemeyer.
    Die Studie untersucht die Entstehung der modernen Philosophiegeschichte, wie sie sich im Übergang vom Barock zur Aufklärung als philosophische Disziplin innerhalb des gelehrten Diskurses der historia literaria konstituierte. Die Auffassung, daß Philosophie ein Produkt menschlicher Verstandestätigkeit sei und mit dem Denken der Griechen beginne, erweist sich dabei als Resultat eines Traditionsbruchs, mit dem die entstehende Aufklärung sich vom christlichen Aristotelismus der Schulphilosophie sowie von den platonisch-hermetischen Spekulationen der Schwärmer und Pansophen absetzte. In der Umbruchphase zwischen Barock und Aufklärung entsteht so (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  25. 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   22 citations  
  26.  26
    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.  71
    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  
  28.  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  
  29.  11
    Inhaltsverzeichnis.Sicco Lehmann-Brauns - 2004 - In Weisheit in der Weltgeschichte: Philosophiegeschichte zwischen Barock und Aufklärung. Tübingen: Niemeyer.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  30.  20
    IV. Pietismus als Piatonismus - Friedrich Christian Büchers 'Plato mysticus in Pietista redivivus'.Sicco Lehmann-Brauns - 2004 - In Weisheit in der Weltgeschichte: Philosophiegeschichte zwischen Barock und Aufklärung. Tübingen: Niemeyer. pp. 187-222.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  31.  6
    Namenregister.Sicco Lehmann-Brauns - 2004 - In Weisheit in der Weltgeschichte: Philosophiegeschichte zwischen Barock und Aufklärung. Tübingen: Niemeyer. pp. 419-424.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  32.  10
    Sachregister.Sicco Lehmann-Brauns - 2004 - In Weisheit in der Weltgeschichte: Philosophiegeschichte zwischen Barock und Aufklärung. Tübingen: Niemeyer. pp. 425-432.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  33.  29
    As in a mirror: John Calvin and Karl Barth on knowing God: a diptych.Cornelis van der Kooi - 2005 - Boston, Mass.: Brill.
    By sounding the work of John Calvin and Karl Barth as mirrors of reflection and experience, justice is done to the tension between the premodern and postkantian ...
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  34. Calvin and Smith on providence, morality, virtues, and human flourishing.Cornelis van der Kooi - 2022 - In Jordan Joseph Ballor & Cornelis van der Kooi (eds.), Theology, morality and Adam Smith. New York, NY: Routledge.
     
    Export citation  
     
    Bookmark  
  35.  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  
  36.  80
    The Inconsistent Vegetarian.Merle E. van der Kooi - 2010 - Society and Animals 18 (3):291-305.
    Vegetarians are often charged with inconsistency. They are told that, if they refrain from meat consumption, they should also refrain from the consumption of all animal products. The central question this paper addresses is whether the requirement of consistency means that vegetarians should become vegans. It is argued that if a vegetarian is motivated by arguments that focus on animals, she is indeed inconsistent and should become a vegan.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  37.  49
    Reduction axioms for epistemic actions.Johan van Benthem & Barteld Kooi - 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.
    Direct download  
     
    Export citation  
     
    Bookmark   18 citations  
  38. 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  
  39. 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  
  40.  20
    A dynamic epistemic framework for reasoning about conformant probabilistic plans.Yanjun Li, Barteld Kooi & Yanjing Wang - 2019 - Artificial Intelligence 268 (C):54-84.
  41. (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  
  42.  10
    Einleitung.Sicco Lehmann-Brauns - 2004 - In Weisheit in der Weltgeschichte: Philosophiegeschichte zwischen Barock und Aufklärung. Tübingen: Niemeyer. pp. 1-6.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  43.  11
    VIII. Die neue Kontur der Philosophiegeschichte - Heumanns ›Acta philosophorum‹.Sicco Lehmann-Brauns - 2004 - In Weisheit in der Weltgeschichte: Philosophiegeschichte zwischen Barock und Aufklärung. Tübingen: Niemeyer. pp. 355-396.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  44.  12
    V. Philosophiegeschichte im Rahmen der Kirchengeschichte - Die Frage nach dem Ursprung der Philosophie vor ihrer frühaufklärerischen Emanzipation.Sicco Lehmann-Brauns - 2004 - In Weisheit in der Weltgeschichte: Philosophiegeschichte zwischen Barock und Aufklärung. Tübingen: Niemeyer. pp. 223-265.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  45.  28
    Overseas Chinese Christian entrepreneurs in modern China: a case study of the influence of Christian ethics on business life.Joy Kooi-Chin Tong - 2012 - New York: Anthem Press.
    Inspired by Max Weber's thesis on the Protestant ethic, this volume sets out to understand the role and influence of Christianity on overseas Chinese entrepreneurs working in China during its transition from a centrally-planned economy ...
    Direct download  
     
    Export citation  
     
    Bookmark  
  46.  6
    «Patientia» como elemento en la visión histórica de Agustín.Jelle F. van der Kooi & V. Capánaga - 1981 - Augustinus 26 (103-104):121-126.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  47. 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  
  48. (1 other version)Dynamic Epistemic Logic.Hans van Ditmarsch, Wiebe van Der Hoek & Barteld Kooi - 2008 - Studia Logica 89 (3):441-445.
  49. 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   28 citations  
  50.  8
    Bibliographie.Sicco Lehmann-Brauns - 2004 - In Weisheit in der Weltgeschichte: Philosophiegeschichte zwischen Barock und Aufklärung. Tübingen: Niemeyer. pp. 401-418.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 97