Switch to: Citations

Add references

You must login to add references.
  1. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  • 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.
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  • Reasoning About Uncertainty.Joseph Y. Halpern - 2003 - MIT Press.
    Using formal systems to represent and reason about uncertainty.
    Download  
     
    Export citation  
     
    Bookmark   168 citations  
  • Logics of public communications.Jan Plaza - 2007 - Synthese 158 (2):165 - 179.
    Multi-modal versions of propositional logics S5 or S4—commonly accepted as logics of knowledge—are capable of describing static states of knowledge but they do not reflect how the knowledge changes after communications among agents. In the present paper (part of broader research on logics of knowledge and communications) we define extensions of the logic S5 which can deal with public communications. The logics have natural semantics. We prove some completeness, decidability and interpretability results and formulate a general method that solves certain (...)
    Download  
     
    Export citation  
     
    Bookmark   186 citations  
  • Logics for epistemic programs.Alexandru Baltag & Lawrence S. Moss - 2004 - Synthese 139 (2):165 - 224.
    We construct logical languages which allow one to represent a variety of possible types of changes affecting the information states of agents in a multi-agent setting. We formalize these changes by defining a notion of epistemic program. The languages are two-sorted sets that contain not only sentences but also actions or programs. This is as in dynamic logic, and indeed our languages are not significantly more complicated than dynamic logics. But the semantics is more complicated. In general, the semantics of (...)
    Download  
     
    Export citation  
     
    Bookmark   117 citations  
  • Quality and quantity of information exchange.Robert van Rooy - 2003 - Journal of Logic, Language and Information 12 (4):423-451.
    The paper deals with credible and relevantinformation flow in dialogs: How useful is it for areceiver to get some information, how useful is it fora sender to give this information, and how much credibleinformation can we expect to flow between sender andreceiver? What is the relation between semantics andpragmatics? These Gricean questions will be addressedfrom a decision and game-theoretical point of view.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • Conditional probability meets update logic.Johan van Benthem - 2003 - Journal of Logic, Language and Information 12 (4):409-421.
    Dynamic update of information states is a new paradigm in logicalsemantics. But such updates are also a traditional hallmark ofprobabilistic reasoning. This note brings the two perspectives togetherin an update mechanism for probabilities which modifies state spaces.
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • Rational Dynamics and Epistemic Logic in Games.Johan van Benthem - unknown
    Game-theoretic solution concepts describe sets of strategy profiles that are optimal for all players in some plausible sense. Such sets are often found by recursive algorithms like iterated removal of strictly dominated strategies in strategic games, or backward induction in extensive games. Standard logical analyses of solution sets use assumptions about players in fixed epistemic models for a given game, such as mutual knowledge of rationality. In this paper, we propose a different perspective, analyzing solution algorithms as processes of learning (...)
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  • Games in Dynamic-Epistemic Logic.Johan van Benthem - unknown
    We discuss games of both perfect and imperfect information at two levels of structural detail: players’ local actions, and their global powers for determining outcomes of the game. We propose matching logical languages for both. In particular, at the ‘action level’, imperfect information games naturally model a combined ‘dynamic-epistemic language’ – and we find correspondences between special axioms and particular modes of playing games with their information dynamics. At the ‘outcome level’, we present suitable notions of game equivalence, plus some (...)
    Download  
     
    Export citation  
     
    Bookmark   61 citations