19 found
Order:
  1. On the Rationality of Pluralistic Ignorance.Jens Christian Bjerring, Jens Ulrik Hansen & Nikolaj Jang Lee Linding Pedersen - 2014 - Synthese 191 (11):2445-2470.
    Pluralistic ignorance is a socio-psychological phenomenon that involves a systematic discrepancy between people’s private beliefs and public behavior in certain social contexts. Recently, pluralistic ignorance has gained increased attention in formal and social epistemology. But to get clear on what precisely a formal and social epistemological account of pluralistic ignorance should look like, we need answers to at least the following two questions: What exactly is the phenomenon of pluralistic ignorance? And can the phenomenon arise among perfectly rational agents? In (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  2.  18
    A Logic for Diffusion in Social Networks.Zoé Christoff & Jens Ulrik Hansen - 2015 - Journal of Applied Logic 13 (1):48-77.
    This paper introduces a general logical framework for reasoning about diffusion processes within social networks. The new “Logic for Diffusion in Social Networks” is a dynamic extension of standard hybrid logic, allowing to model complex phenomena involving several properties of agents. We provide a complete axiomatization and a terminating and complete tableau system for this logic and show how to apply the framework to diffusion phenomena documented in social networks analysis.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  3.  7
    A Two-Tiered Formalization of Social Influence.Zoé Christoff & Jens Ulrik Hansen - unknown
    We propose a new dynamic hybrid logic to reason about social networks and their dynamics building on the work of “Logic in the Community” by Seligman, Liu and Girard. Our framework distinguishes between the purely private sphere of agents, namely their mental states, and the public sphere of their observable behavior, i.e., what they seem to believe. We then show how such a distinction allows our framework to model many social phenomena, by presenting the case of pluralistic ignorance as an (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  4.  1
    Terminating Tableaux for Dynamic Epistemic Logics.Jens Ulrik Hansen - 2010 - Electronic Notes in Theoretical Computer Science 262:141-156.
    Throughout the last decade, there has been an increased interest in various forms of dynamic epistemic logics to model the flow of information and the effect this flow has on knowledge in multi-agent systems. This enterprise, however, has mostly been applicationally and semantically driven. This results in a limited amount of proof theory for dynamic epistemic logics. In this paper, we try to compensate for a part of this by presenting terminating tableau systems for full dynamic epistemic logic with action (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  5.  18
    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 (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  6.  1
    Logical Models of Informational Cascades.Alexandru Baltag, Zoé Christoff, Jens Ulrik Hansen & Sonja Smets - 2013 - In Johan Van Benthem & Fenrong Lui (eds.), Logic Across the University: Foundations and Applications. College Publications. pp. 405-432.
    In this paper, we investigate the social herding phenomenon known as informational cascades, in which sequential inter-agent communication might lead to epistemic failures at group level, despite availability of information that should be sufficient to track the truth. We model an example of a cascade, and check the correctness of the individual reasoning of each agent involved, using two alternative logical settings: an existing probabilistic dynamic epistemic logic, and our own novel logic for counting evidence. Based on this analysis, we (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  7.  1
    A Dynamic Social Network Logic.Jens Ulrik Hansen - unknown
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  1
    Reasoning About Opinion Dynamics in Social Networks.Jens Ulrik Hansen - 2014 - In Thomas Ågotnes, Giacomo Bonanno & Wiebe Van Der Hoek (eds.), Proceedings of the eleventh conference on logic and the foundations of game and decision theory (LOFT 11). pp. 1121-1137.
    This paper introduces a logic to reason about a well-known model of opinion dynamics in socialnetworks initially developed by Morris DeGroot as well as Keith Lehrer and Carl Wagner. The proposed logic is an extension of Lukasiewicz' famous fuzzy logic with additional equational expressivity, modal operators, machinery from hybrid logic, and dynamic modalities. The model of opinion dynamics in social networks is simple enough to be easily grasped, but still complex enough to have interesting mathematical properties and applications. Thus, developing (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  3
    A Logic-Based Approach to Pluralistic Ignorance.Jens Ulrik Hansen - 2012 - In Jonas De Vuyst & Lorenz Demey (eds.), Future Directions for Logic: Proceedings of PhDs in Logic II. College Publications. pp. 67-80.
    ``Pluralistic ignorance'' is a phenomenon mainly studied in social psychology. Viewed as an epistemic phenomenon, one way to define it is as a situation where ``no one believes, but everyone believes that everyone else believes''. In this paper various versions of pluralistic ignorance are formalized using epistemic/doxastic logic. The motive is twofold. Firstly, the formalizations are used to show that the various versions of pluralistic ignorance are all consistent, thus there is nothing in the phenomenon that necessarily goes against logic. (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  1
    Decidability of a Hybrid Duration Calculus.Thomas Bolander, Jens Ulrik Hansen & Michael R. Hansen - 2007 - Electronic Notes in Theoretical Computer Science 174 (3):113-133.
    We present a logic which we call Hybrid Duration Calculus. HDC is obtained by adding the following hybrid logical machinery to the Restricted Duration Calculus : nominals, satisfaction operators, down-arrow binder, and the global modality. RDC is known to be decidable, and in this paper we show that decidability is retained when adding the hybrid logical machinery. Decidability of HDC is shown by reducing the satisfiability problem to satisfiability of Monadic Second-Order Theory of Order. We illustrate the increased expressive power (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  16
    Truth tracking performance of social networks: how connectivity and clustering can make groups less competent.Ulrike Hahn, Jens Ulrik Hansen & Erik J. Olsson - 2020 - Synthese 197 (4):1511-1541.
    Our beliefs and opinions are shaped by others, making our social networks crucial in determining what we believe to be true. Sometimes this is for the good because our peers help us form a more accurate opinion. Sometimes it is for the worse because we are led astray. In this context, we address via agent-based computer simulations the extent to which patterns of connectivity within our social networks affect the likelihood that initially undecided agents in a network converge on a (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  12.  31
    Pluralistic Ignorance : A Case for Social Epistemology and Epistemic Logic.Jens Ulrik Hansen - unknown
    In this paper the phenomenon of pluralistic ignorance is discussed and it is argued why it is of relevance for epistemic logic and social psychology. Roughly put, pluralistic ignorance is the case when a group of interacting agents all experience a discrepancy between their private opinions and the perceived opinions of the others. After introducing the phenomenon, numerous features of pluralistic ignorance that are of interest for epistemic logic and social epistemology, are discussed. This discussion serves two purposes: It recaps (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  7
    Many-Valued Hybrid Logic.Jens Ulrik Hansen, Thomas Bolander & Torben Braüner - 2008 - In Carlos Areces & Robert Goldblatt (eds.), Advances in Modal Logic, Volume 7. CSLI Publications. pp. 111-132.
    In this paper we define a family of many-valued semantics for hybrid logic, where each semantics is based on a finite Heyting algebra of truth-values. We provide sound and complete tableau systems for these semantics. Moreover, we show how the tableau systems can be made terminating and thereby give rise to decision procedures for the logics in question. Our many-valued hybrid logics turn out to be "intermediate" logics between intuitionistic hybrid logic and classical hybrid logic in a specific sense explained (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  14.  2
    A Tableau System for a First-Order Hybrid Logic.Jens Ulrik Hansen - 2007 - In Jørgen Villadsen, Thomas Bolander & Torben Braüner (eds.), Proceedings of the International Workshop on Hybrid Logic 2007 (HyLo 2007).
    In this paper a first-order version of hybrid logic is presented. The language is obtained by adding nominals, satisfaction operators and the down-arrow binder to classical first-order modal logic. The satisfaction operators are applied to both formulas and terms. Moreover adding the universal modality is discussed. This first-order hybrid language is interpreted over varying domains and a sound and complete, fully internalized tableau system for this logic is given.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  2
    Modeling Pluralistic Ignorance in Epistemic Logic.Jens Ulrik Hansen - unknown
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  16.  1
    Many-Valued Hybrid Logic.Jens Ulrik Hansen, Thomas Bolander & Torben Braüner - 2008 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 111-132.
    In this paper we define a family of many-valued semantics for hybrid logic, where each semantics is based on a finite Heyting algebra of truth-values. We provide sound and complete tableau systems for these semantics. Moreover, we show how the tableau systems can be made terminating and thereby give rise to decision procedures for the logics in question. Our many-valued hybrid logics turn out to be "intermediate" logics between intuitionistic hybrid logic and classical hybrid logic in a specific sense explained (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  17.  1
    A Hybrid Public Announcement Logic with Distributed Knowledge.Jens Ulrik Hansen - 2011 - Electronic Notes in Theoretical Computer Science 273:33-50.
    In this paper the machinery of Hybrid Logic and the logic of public announcements are merged. In order to bring the two logics together properly the underlying hybrid logic has been changed such that nominals only partially denote states. The hybrid logic contains nominals, satisfaction operators, the downarrow binder as well as the global modality. Following this, an axiom system for the Hybrid Public Announcement Logic is presented and using reduction axioms general completeness is proved. The general completeness allows for (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  1
    Modeling Truly Dynamic Epistemic Scenarios in a Partial Version of DEL.Jens Ulrik Hansen - 2014 - In Michal Dancak & Vit Puncochar (eds.), The Logica Yearbook 2013. pp. 63-75.
    Dynamic Epistemic Logic is claimed to be a dynamic version of epistemic logic. While this being true, there are several dynamical aspects that cannot be reasoned about in Dynamic Epistemic Logic. When a scenario is fixed and a possible world model representing the scenario is constructed, the possible future ways the system can evolve are in some sense already determined. For instance no new agents can enter the scenario and no new propositional facts can become relevant. This modeling perspective is (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  1
    Logical Knowledge Representation of Regulatory Relations in Biomedical Pathways.Sine Zambach & Jens Ulrik Hansen - 2010 - In S. Khuri, L. Lhotská & N. Pisanti (eds.), Information Technology in Bio- and Medical Informatics, ITBAM 2010. ITBAM 2010. Lecture Notes in Computer Science, vol 6266. Berlin, Germany: Springer.
    Knowledge on regulatory relations, in for example regulatory pathways in biology, is used widely in experiment design by biomedical researchers and in systems biology. The knowledge has typically either been represented through simple graphs or through very expressive differential equation simulations of smaller sections of a pathway. As an alternative, in this work we suggest a knowledge representation of the most basic relations in regulatory processes regulates, positively regulates and negatively regulates in logics based on a semantic analysis. We discuss (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark