9 found
Sort by:
  1. Johan van Benthem Jelle Gerbrandy, Merging Frameworks for Interaction.
    Many logical systems today describe intelligent interacting agents over time. Frameworks include Interpreted Systems (IS, Fagin et al. [8]), Epistemic-Temporal Logic (ETL, Parikh & Ramanujam [22]), STIT (Belnap et al. [5]), Process Algebra and Game Semantics (Abramsky [1]). This variety is an asset, as different modeling tools can be fine-tuned to specific applications. But it may also be an obstacle, when barriers between paradigms and schools go up. This paper takes a closer look at one particular interface, between two systems (...)
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  2. Johan Van Benthem, Jelle Gerbrandy, Tomohiro Hoshi & Eric Pacuit (2009). Merging Frameworks for Interaction. Journal of Philosophical Logic 38 (5):491 - 526.
    A variety of logical frameworks have been developed to study rational agents interacting over time. This paper takes a closer look at one particular interface, between two systems that both address the dynamics of knowledge and information flow. The first is Epistemic Temporal Logic (ETL) which uses linear or branching time models with added epistemic structure induced by agents' different capabilities for observing events. The second framework is Dynamic Epistemic Logic (DEL) that describes interactive processes in terms of epistemic event (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  3. Johan van Benthem, Jelle Gerbrandy & Barteld Kooi (2009). Dynamic Update with Probabilities. 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 (3 more)  
     
    My bibliography  
     
    Export citation  
  4. Johan van Benthem, Jelle Gerbrandy, Tomohiro Hoshi & Eric Pacuit (2009). Merging Frameworks for Interaction. Journal of Philosophical Logic 38 (5):491-526.
    A variety of logical frameworks have been developed to study rational agents interacting over time. This paper takes a closer look at one particular interface, between two systems that both address the dynamics of knowledge and information flow. The first is Epistemic Temporal Logic (ETL) which uses linear or branching time models with added epistemic structure induced by agents’ different capabilities for observing events. The second framework is Dynamic Epistemic Logic (DEL) that describes interactive processes in terms of epistemic event (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  5. Johan van Benthem, Jelle Gerbrandy & Barteld Kooi (2009). Dynamic Update with Probabilities. 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 (5 more)  
     
    My bibliography  
     
    Export citation  
  6. J. Gerbrandy (2007). The Surprise Examination in Dynamic Epistemic Logic. Synthese 155 (1):21 - 33.
    We examine the paradox of the surprise examination using dynamic epistemic logic. This logic contains means of expressing epistemic facts as well as the effects of learning new facts, and is therefore a natural framework for representing the puzzle. We discuss a number of different interpretations of the puzzle in this context, and show how the failure of principle of success, that states that sentences, when learned, remain to be true and come to be believed, plays a central role in (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  7. Jelle Gerbrandy (2007). Communication Strategies in Games. Journal of Applied Non-Classical Logics 17 (2):197-211.
    We formulate a formal framework in which we combine the theory of dynamic epistemic logic and the theory of games. In particular, we show how we can use tools of dynamic epistemic logic to reason about information change ? and in particular, the effect of communication acts ? in such a game of imperfect information. We show how this framework allows for the formulation of specific assumptions in pragmatics of communication, as well as the formulation of general results about the (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  8. Jelle Gerbrandy, Maarten Marx, Maarten de Rijke & Yde Venema (eds.) (1999). Essays Dedicated to Johan van Benthem on the Occasion of His 50th Birthday. Amsterdam University Press.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  9. Jelle Gerbrandy & Willem Groeneveld (1997). Reasoning About Information Change. Journal of Logic, Language and Information 6 (2):147-169.
    In this paper we introduce Dynamic Epistemic Logic, which is alogic for reasoning about information change in a multi-agent system. Theinformation structures we use are based on non-well-founded sets, and canbe conceived as bisimulation classes of Kripke models. On these structures,we define a notion of information change that is inspired by UpdateSemantics (Veltman, 1996). We give a sound and complete axiomatization ofthe resulting logic, and we discuss applications to the puzzle of the dirtychildren, and to knowledge programs.
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation