6 found
Sort by:
  1. Hans P. van Ditmarsch (2007). Comments to 'Logics of Public Communications'. 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 (...)
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  2. Hans P. Van Ditmarsch (2006). The Logic of Pit. 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 (...)
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  3. Hans P. Van Ditmarsch (2005). Prolegomena to Dynamic Logic for Belief Revision. 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 (...)
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  4. Hans P. van Ditmarsch (2005). The Case of the Hidden Hand. Journal of Applied Non-Classical Logics 15 (4):437-452.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  5. Hans P. van Ditmarsch (2002). Descriptions of Game Actions. 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 (7 more)  
     
    My bibliography  
     
    Export citation  
  6. Hans P. van Ditmarsch & Barteld P. Kooi (2002). Spelen met verandering en onzekerheid. Rationele-keuzetheorie en logica. Algemeen Nederlands Tijdschrift voor Wijsbegeerte 94 (1).
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation