Switch to: References

Citations of:

Convergence, Continuity and Recurrence in Dynamic Epistemic Logic

In Alexandru Baltag, Jeremy Seligman & Tomoyuki Yamada (eds.), Logic, Rationality, and Interaction (LORI 2017, Sapporo, Japan). Springer. pp. 108-122 (2017)

Add citations

You must login to add citations.
  1. Intensional Protocols for Dynamic Epistemic Logic.Hanna S. van Lee, Rasmus K. Rendsvig & Suzanne van Wijk - 2019 - Journal of Philosophical Logic 48 (6):1077-1118.
    In dynamical multi-agent systems, agents are controlled by protocols. In choosing a class of formal protocols, an implicit choice is made concerning the types of agents, actions and dynamics representable. This paper investigates one such choice: An intensional protocol class for agent control in dynamic epistemic logic, called ‘DEL dynamical systems’. After illustrating how such protocols may be used in formalizing and analyzing information dynamics, the types of epistemic temporal models that they may generate are characterized. This facilitates a formal (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Collective Opinion as Tendency Towards Consensus.Chenwei Shi - 2020 - Journal of Philosophical Logic 50 (3):593-613.
    Group beliefs in social networks are often construed as arising from individual beliefs through processes of update and aggregation. In this paper, we explore an alternative ‘arational’ perspective. More specifically, we focus on group attitudes as neutral tendencies toward alignment of opinions driven by influence patterns among agents modeled in a Markov dynamics. In addition, we investigate logical patterns in the resulting potential group beliefs or, in more neutral arational terminology: collective opinion structures.
    Download  
     
    Export citation  
     
    Bookmark  
  • Metrics for Formal Structures, with an Application to Kripke Models and Their Dynamics.Dominik Klein & Rasmus K. Rendsvig - forthcoming - Journal of Symbolic Logic:1-21.
    The paper introduces a broad family of metrics applicable to finite and countably infinite strings, or, by extension, to formal structures serving as semantics for countable languages. The main focus is on applications to sets of pointed Kripke models, a semantics for modal logics. For the resulting metric spaces, the paper classifies topological properties including which metrics are topologically equivalent, providing sufficient conditions for compactness, characterizing clopen sets and isolated points, and characterizing the metrical topologies by a concept of logical (...)
    Download  
     
    Export citation  
     
    Bookmark