6 found
Order:
  1.  79
    Prolegomena to Dynamic Logic for Belief Revision.Hans P. Van Ditmarsch - 2005 - Synthese 147 (2):229-275.
    In ‘belief revision’ a theory is revised with a formula φ resulting in a revised theory . Typically, is in , one has to give up belief in by a process of retraction, and φ is in . We propose to model belief revision in a dynamic epistemic logic. In this setting, we typically have an information state (pointed Kripke model) for the theory wherein the agent believes the negation of the revision formula, i.e., wherein is true. The revision with (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   43 citations  
  2.  30
    Descriptions of Game Actions.Hans P. van Ditmarsch - 2002 - Journal of Logic, Language and Information 11 (3):349-365.
    To describe simultaneous knowledge updates for different subgroups we propose anepistemic language with dynamic operators for actions. The language is interpreted onequivalence states (S5 states). The actions are interpreted as state transformers. Two crucial action constructors are learning and local choice. Learning isthe dynamic equivalent of common knowledge. Local choice aids in constraining theinterpretation of an action to a functional interpretation (state transformer).Bisimilarity is preserved under execution of actions. The language is applied todescribe various actions in card games.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  3.  93
    Comments to 'Logics of Public Communications'.Hans P. van Ditmarsch - 2007 - Synthese 158 (2):181-187.
    Take your average publication on the dynamics of knowledge. In one of its first paragraphs you will probably encounter a phrase like “a logic of public announcements was first proposed by Plaza in 1989 (Plaza 1989).” Tracking down this publication seems easy, because googling its title ‘Logics of Public Communications’ takes you straight to Jan Plaza’s website where it is online available in the author’s own version, including, on that page, very helpful and full bibliographic references to the proceedings in (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  65
    The Case of the Hidden Hand.Hans P. van Ditmarsch - 2005 - Journal of Applied Non-Classical Logics 15 (4):437-452.
    In unconditionally secure protocols, a sender and receiver are able to communicate their secrets to each other without the eavesdropper being able to learn the secret, even when the eavesdropper intercepts the entire communication. We investigate such protocols for the special case of deals of cards over players, where two players aim to communicate to each other their hand of cards without the remaining player learning a single card from either hand. In this contribution we show that a particular protocol (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  5.  51
    The Logic of Pit.Hans P. Van Ditmarsch - 2006 - Synthese 149 (2):343-374.
    Pit is a multi-player card game that simulates the commodities trading market, and where actions consist of bidding and of swapping cards. We present a formal description of the knowledge and change of knowledge in that game. The description is in a standard language for dynamic epistemics expanded with assignment. Assignment is necessary to describe that cards change hands. The formal description is a prerequisite to model Pit in game theory. The main contribution of this paper should be seen as (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6. 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
    Translate
     
     
    Export citation  
     
    Bookmark