Switch to: References

Add citations

You must login to add citations.
  1. Dynamic Epistemic Logics of Diffusion and Prediction in Social Networks.Alexandru Baltag, Zoé Christoff, Rasmus K. Rendsvig & Sonja Smets - 2019 - Studia Logica 107 (3):489-531.
    We take a logical approach to threshold models, used to study the diffusion of opinions, new technologies, infections, or behaviors in social networks. Threshold models consist of a network graph of agents connected by a social relationship and a threshold value which regulates the diffusion process. Agents adopt a new behavior/product/opinion when the proportion of their neighbors who have already adopted it meets the threshold. Under this diffusion policy, threshold models develop dynamically towards a guaranteed fixed point. We construct a (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Marketing impact on diffusion in social networks.Pavel Naumov & Jia Tao - 2017 - Journal of Applied Logic 20:49-74.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Dynamic Epistemic Logic of Diffusion and Prediction in Threshold Models.Alexandru Baltag, Zoé Christoff, Rasmus Kraemmer Rendsvig & Sonja Smets - unknown
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Reflecting on Social Influence in Networks.Zoé Christoff, Jens Ulrik Hansen & Carlo Proietti - 2014 - Journal of Logic, Language and Information 25 (3-4):299-333.
    In many social contexts, social influence seems to be inescapable: the behavior of others influences us to modify ours, and vice-versa. However, social psychology is full of examples of phenomena where individuals experience a discrepancy between their public behavior and their private opinion. This raises two central questions. First, how does an individual reason about the behavior of others and their private opinions in situations of social influence? And second, what are the laws of the resulting information dynamics? In this (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • On the Modal Logic of the Non-orthogonality Relation Between Quantum States.Shengyang Zhong - 2018 - Journal of Logic, Language and Information 27 (2):157-173.
    It is well known that the non-orthogonality relation between the (pure) states of a quantum system is reflexive and symmetric, and the modal logic $$\mathbf {KTB}$$ is sound and complete with respect to the class of sets each equipped with a reflexive and symmetric binary relation. In this paper, we consider two properties of the non-orthogonality relation: Separation and Superposition. We find sound and complete modal axiomatizations for the classes of sets each equipped with a reflexive and symmetric relation that (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Dynamic Logics of Diffusion and Link Changes on Social Networks.Edoardo Baccini, Zoé Christoff & Rineke Verbrugge - forthcoming - Studia Logica:1-71.
    This paper introduces a comprehensive logical framework to reason about threshold-driven diffusion and threshold-driven link change in social networks. It considers both monotonic dynamics, where agents can only adopt new features and create new connections, and non-monotonic dynamics, where agents may also abandon features or cut ties. Three types of operators are combined: one capturing diffusion only, one capturing link change only, and one capturing both at the same time. We first characterise the models on which diffusion of a unique (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Group Conformity in Social Networks.Colby Morrison & Pavel Naumov - 2020 - Journal of Logic, Language and Information 29 (1):3-19.
    Diffusion in social networks is a result of agents’ natural desires to conform to the behavioral patterns of their peers. In this article we show that the recently proposed “propositional opinion diffusion model” could be used to model an agent’s conformity to different social groups that the same agent might belong to, rather than conformity to the society as whole. The main technical contribution of this article is a sound and complete logical system describing the properties of the influence relation (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • An Egocentric Logic of Knowing How to Tell Them Apart.Pavel Naumov & T. A. O. Jia - forthcoming - Journal of Symbolic Logic:1-33.
    Traditionally, the formulae in modal logic express properties of possible worlds. Prior introduced “egocentric” logics that capture properties of agents rather than of possible worlds. In such a setting, the article proposes the modality “know how to tell apart” and gives a complete logical system describing the interplay between this modality and the knowledge modality. An important contribution of this work is a new matrix-based technique for proving completeness theorems in an egocentric setting.
    Download  
     
    Export citation  
     
    Bookmark  
  • Logical Dynamics and Dynamical Systems.Rasmus Kraemmer Rendsvig - unknown
    This thesis is on information dynamics modeled using *dynamic epistemic logic*. It takes the simple perspective of identifying models with maps, which under a suitable topology may be analyzed as *topological dynamical systems*. It is composed of an introduction and six papers. The introduction situates DEL in the field of formal epistemology, exemplifies its use and summarizes the main contributions of the papers.Paper I models the information dynamics of the *bystander effect* from social psychology. It shows how augmenting the standard (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • A Four-Valued Dynamic Epistemic Logic.Yuri David Santos - 2020 - Journal of Logic, Language and Information 29 (4):451-489.
    Epistemic logic is usually employed to model two aspects of a situation: the factual and the epistemic aspects. Truth, however, is not always attainable, and in many cases we are forced to reason only with whatever information is available to us. In this paper, we will explore a four-valued epistemic logic designed to deal with these situations, where agents have only knowledge about the available information, which can be incomplete or conflicting, but not explicitly about facts. This layer of available (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • On the Logic of Balance in Social Networks.Zuojun Xiong & Thomas Ågotnes - 2020 - Journal of Logic, Language and Information 29 (1):53-75.
    Modal logics for reasoning about social networks is currently an active field of research. There is still a gap, however, between the state of the art in logical formalisations of concepts related to social networks and the much more mature field of social network analysis. In this paper we take a step to bridge that gap. One of the key foundations of social network analysis is balance theory, which is used to analyse signed social networks where agents can have positive (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • A Closeness- and Priority-Based Logical Study of Social Network Creation.Sonja Smets & Fernando R. Velázquez-Quesada - 2020 - Journal of Logic, Language and Information 29 (1):21-51.
    This paper is part of an on-going programme on the study of the logical aspects of social network formation. It recalls the so-called social network model, discussing the properties of a notion of closeness between agents ; then introduces an extended social network model in which different agents might assign different values to different traits, discussing the properties of the notion of weighted closeness that arises. These notions are used to define social network creation operations by means of a threshold (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Implicit quantification for modal reasoning in large games.R. Ramanujam, Anantha Padmanabha & Ramit Das - 2023 - Synthese 201 (5):1-34.
    Reasoning about equilibria in normal form games involves the study of players’ incentives to deviate unilaterally from any profile. In the case of large anonymous games, the pattern of reasoning is different. Payoffs are determined by strategy distributions rather than strategy profiles. In such a game each player would strategise based on expectations of what fraction of the population makes some choice, rather than respond to individual choices by other players. A player may not even know how many players there (...)
    Download  
     
    Export citation  
     
    Bookmark