122 found
Order:
Disambiguations
Jens Ulrik Hansen [20]Jennifer Hansen [17]James E. Hansen [12]James Hansen [12]
Jennifer L. Hansen [6]James R. Hansen [5]J. E. Hansen [5]Jörg Hansen [5]

Not all matches are shown. Search with initial or firstname to single out others.

See also
Jennifer Hansen
St. Lawrence University
Jack Hansen
Brandeis University
John Hansen
Mohave Community College
1 more
  1.  38
    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)  
     
    Export citation  
     
    Bookmark   12 citations  
  2.  27
    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 (5 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  3. 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 (7 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  4.  28
    The associations in our heads belong to us: Searching for attitudes and knowledge in implicit evaluation.Brian A. Nosek & Jeffrey J. Hansen - 2008 - Cognition and Emotion 22 (4):553-594.
  5.  21
    Conflicting imperatives and dyadic deontic logic.Jörg Hansen - 2005 - Journal of Applied Logic 3 (3-4):484-511.
  6.  55
    Deontic logics for prioritized imperatives.Jörg Hansen - 2006 - Artificial Intelligence and Law 14 (1-2):1-34.
    When a conflict of duties arises, a resolution is often sought by use of an ordering of priority or importance. This paper examines how such a conflict resolution works, compares mechanisms that have been proposed in the literature, and gives preference to one developed by Brewka and Nebel. I distinguish between two cases – that some conflicts may remain unresolved, and that a priority ordering can be determined that resolves all – and provide semantics and axiomatic systems for accordingly defined (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  7.  23
    Problems and results for logics about imperatives.Jörg Hansen - 2004 - Journal of Applied Logic 2 (1):39-61.
  8. Ten philosophical problems in deontic logic.Gabriella Pigozzi, J. Hansen & Leon van der Torre - manuscript
    The paper discusses ten philosophical problems in deontic logic: how to formally represent norms, when a set of norms may be termed ‘coherent’, how to deal with normative conflicts, how contraryto-duty obligations can be appropriately modeled, how dyadic deontic operators may be redefined to relate to sets of norms instead of preference relations between possible worlds, how various concepts of permission can be accommodated, how meaning postulates and counts-as conditionals can be taken into account, and how sets of norms may (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  9.  92
    Public Stem Cell Banks: Considerations of Justice in Stem Cell Research and Therapy.Ruth R. Faden, Liza Dawson, Alison S. Bateman-House, Dawn Mueller Agnew, Hilary Bok, Dan W. Brock, Aravinda Chakravarti, Xiao-Jiang Gao, Mark Greene, John A. Hansen, Patricia A. King, Stephen J. O'Brien, David H. Sachs, Kathryn E. Schill, Andrew Siegel, Davor Solter, Sonia M. Suter, Catherine M. Verfaillie, LeRoy B. Walters & John D. Gearhart - 2003 - Hastings Center Report 33 (6):13-27.
    If stem cell-based therapies are developed, we will likely confront a difficult problem of justice: for biological reasons alone, the new therapies might benefit only a limited range of patients. In fact, they might benefit primarily white Americans, thereby exacerbating long-standing differences in health and health care.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  10.  33
    An exploratory mindset reduces preference for prototypes and increases preference for novel exemplars.Jochim Hansen & Sascha Topolinski - 2011 - Cognition and Emotion 25 (4):709-716.
  11.  36
    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 (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  12.  14
    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   5 citations  
  13. The Paradoxes of Deontic Logic: Alive and Kicking.Jörg Hansen - 2006 - Theoria 72 (3):221-232.
    In a recent paper, Sven Danielsson argued that the ‘original paradoxes' of deontic logic, in particular Ross's paradox and Prior's paradox of derived obligation, can be solved by restricting the modal inheritance rule. I argue that this does not solve the paradoxes.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  14.  14
    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  
  15.  15
    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 (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  16.  48
    When time flies: How abstract and concrete mental construal affect the perception of time.Jochim Hansen & Yaacov Trope - 2013 - Journal of Experimental Psychology: General 142 (2):336.
  17. Listening to People or Listening to Prozac?: Another Consideration of Causal Classifications.Jennifer Hansen - 2003 - Philosophy, Psychiatry, and Psychology 10 (1):57-62.
    In lieu of an abstract, here is a brief excerpt of the content:Philosophy, Psychiatry, & Psychology 10.1 (2003) 57-62 [Access article in PDF] Listening to People Or Listening to Prozac?Another Consideration of Causal Classifications Jennifer Hansen Keywords causal classification, descriptivism, melancholia, neurasthenia, depression, cultural relativism. The shape and detail of depression have gone through a thousand cartwheels, and the treatment of depression has alternated between the ridiculous and the sublime, but the excessive sleeping, inadequate eating, suicidiality, withdrawal from social interaction, (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  18.  70
    Embryonic stem cell production through therapeutic cloning has fewer ethical problems than stem cell harvest from surplus IVF embryos.J.-E. S. Hansen - 2002 - Journal of Medical Ethics 28 (2):86-88.
    Restrictions on research on therapeutic cloning are questionable as they inhibit the development of a technique which holds promise for succesful application of pluripotent stem cells in clinical treatment of severe diseases. It is argued in this article that the ethical concerns are less problematic using therapeutic cloning compared with using fertilised eggs as the source for stem cells. The moral status of an enucleated egg cell transplanted with a somatic cell nucleus is found to be more clearly not equivalent (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  19.  16
    Phenomenology and the Return to Beginnings.James E. Hansen - 1975 - Philosophy and Phenomenological Research 35 (3):432-433.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  20.  31
    Continental feminism.Jennifer Hansen - 2013 - Stanford Encyclopedia of Philosophy.
  21.  40
    The importance of expert knowledge in big data and machine learning.Jens Ulrik Hansen & Paula Quinon - 2023 - Synthese 201 (2):1-21.
    According to popular belief, big data and machine learning provide a wholly novel approach to science that has the potential to revolutionise scientific progress and will ultimately lead to the ‘end of theory’. Proponents of this view argue that advanced algorithms are able to mine vast amounts of data relating to a given problem without any prior knowledge and that we do not need to concern ourselves with causality, as correlation is sufficient for handling complex issues. Consequently, the human contribution (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  7
    Praxis and Action: Contemporary Philosophies of Human Activity.James E. Hansen - 1973 - Philosophy and Phenomenological Research 34 (1):129-130.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  23.  33
    Embryonic stem cell production through therapeutic cloning has fewer ethical problems than stem cell harvest from surplus IVF embryos.J. E. S. Hansen - 2002 - Journal of Medical Ethics 28 (2):86-88.
  24.  46
    Prozac or Prosaic Diaries?: The Gendering of Psychiatric Disability in Depression Memoirs.Ginger A. Hoffman & Jennifer L. Hansen - 2017 - Philosophy, Psychiatry, and Psychology 24 (4):285-298.
    The stories we tell of psychiatric disability1 and gender play a crucial role not only in the experience of psychiatric disorders, but in who disordered individuals are in the most literal sense. Recent theories of the self—so-called narrative self-constitution views, or “narrative theories”—contend that the self is, fundamentally, constituted by a narrative one tells about oneself. Furthermore, this narrative almost certainly absorbs elements from surrounding cultural scripts. Thus, narrative self-constitution views can shed light on some of the ways in which (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25.  60
    Aesthetic Empathy: An Investigation in Phenomenological Psychology of Visual Art Experiences.Jannik M. Hansen & Tone Roald - 2022 - Journal of Phenomenological Psychology 53 (1):25-50.
    Empathy is a psychologically significant phenomenon. It plays a key role in the development of the self, sociality, and prosocial behaviour. The term empathy originated in 19th-century aesthetics, where the concept was seen as an explanation for aesthetic experience. Despite renewed interest in the relation between empathy and aesthetic experiences, investigations into how empathy shapes experiences of art are still scarce. Given this situation, we ask the following three questions: What does one experience when experiencing a work of art empathetically? (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26.  38
    Corporate Social Responsibility.Paul C. Godfrey, Nile A. Hatch & Jared M. Hansen - 2005 - Proceedings of the International Association for Business and Society 16:112-117.
    Corporate Social Responsibility (CSR) is a tortured concept. In this paper, we reframe CSR into a number of discrete Corporate Social Responsibilities (CSR’s), each of which can have a positive or negative social impact, and each of which has an endogenous managerially driven component, and an exogenous stakeholder driven component. Using an industry-level sample drawn from the KLD data base, we test the impact of hypothesized drivers of CSR on various CSR’s.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  27. Affectivity: depression and mania.Jennifer Hansen - 2004 - In Jennifer Radden (ed.), The Philosophy of Psychiatry: A Companion. Oxford University Press. pp. 36--53.
     
    Export citation  
     
    Bookmark   2 citations  
  28.  8
    A Dynamic Social Network Logic.Jens Ulrik Hansen - unknown
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  29.  81
    Be Nice! How Simple Imperatives Simplify Imperative Logic.Jörg Hansen - 2014 - Journal of Philosophical Logic 43 (5):965-977.
    In a series of articles, P. Vranas recently proposed a new imperative logic. The strong and weak inferences of this logic are motivated by an appeal to a strong and weak ‘support by reasons’ that transfers from the premisses of an argument to its conclusion. They also combine nonmonotonic and monotonic reasoning patterns. I show that for any moral agent, Vranas’s proposal can be simplified enormously.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  30.  14
    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 (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  31. The New American Scholar.John Hansen - 2014 - The Pluralist 9 (1):97-103.
    In his essay “Literary Vocation as Occupational Idealism: The Example of Emerson’s ‘American Scholar,’” Rob Wilson compares Ralph Waldo Emerson’s scholar with the present literary intellectual in American society. According to Wilson, rather than becoming the intellectual beacon of hope Emerson envisioned, the American (literary) scholar has become trapped in a kind of intellectual bondage by the very act of writing. That is, Wilson believes that the American scholar, because of the effect of Emersonian idealism, has been subjected to repeating (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  32. From Hinge Narrative to Habit: Self-Oriented Narrative Psychotherapy Meets Feminist Phenomenological Theories of Embodiment.Jennifer Hansen - 2013 - Philosophy, Psychiatry, and Psychology 20 (1):69-73.
    In what follows, I offer some friendly amendments to Potter’s psychotherapeutic model—‘the hinge narrative’ (HN)—designed to help bipolar patients cultivate self-trust. My primary contribution is to suggest an alliance between narrative theory and feminist phenomenological theories of embodiment. I argue that these projects are mutually supporting in both the metaphysical and therapeutic project of constituting a rich moral self, that is, a self who has self-trust and thereby satisfying relationships with others. I also register a slight disagreement with Potter concerning (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  33. Existential Fright or Ferocious Market Forces?: A Critique of Mark Rego's" Existential Loss Hypothesis".Jennifer Hansen - 2005 - Philosophy, Psychiatry, and Psychology 12 (2):129-136.
  34. Written on the body, written by the senses.Jennifer Hansen - 2005 - Philosophy and Literature 29 (2):365-378.
    In lieu of an abstract, here is a brief excerpt of the content:Written on the Body, Written by the SensesJennifer L. Hansen"Explore me," you said and I collected my ropes, flasks and maps, expecting to be back home soon. I dropped into the mass of you and I cannot find the way out. Sometimes I think I'm free, coughed up like Jonah from the whale, but then I turn a corner and recognize myself again. Myself in your skin, myself lodged (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  35.  70
    The Ambiguity and Existentialism of Human Sexuality in The Unbearable Lightness of Being.John Hansen - 2015 - Philosophy Pathways 194.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  36.  36
    Truth and Discursive Activism: The Promise and Perils of Hashtag Feminism.Jennifer L. Hansen - 2021 - Journal of Speculative Philosophy 35 (2):117-129.
    I explore both the potential and the perils of Twitter as a space for constituting a Deweyan public aimed at transforming how "we" (here, I mean not only citizens of the United States but global citizens) affectively receive and thereby respond to and resist sexual violation. In the course of this brief exploration, I operate with a pragmatic notion of "truth," namely, as democratically formulating a hypothesis concerning the nature of a social problem that enables fruitful amelioration of the problem. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  37.  13
    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  
  38. Public Stem Cell Banks.Hilary Bok Mueller Agnew, Danw Brock, Aravinda Chakravarti, Xiao-Jiang Gao, Mark Greene, John A. Hansen, Patricia A. King, Stephen J. O'brien, David H. Sachs & Kathryn E. Schill - 2003 - Hastings Center Report 33 (6):13-27.
     
    Export citation  
     
    Bookmark  
  39.  37
    Alienation, Praxis, and Technë in the Thought of Karl Marx.James E. Hansen - 1980 - Philosophy and Phenomenological Research 40 (3):453-454.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  40.  14
    A Behavioral Approach to Historial Analysis.James E. Hansen - 1972 - Philosophy and Phenomenological Research 32 (3):421-423.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  41.  26
    Boekbesprekingen.W. Beuken, J.-M. Tison, J. Lambrecht, D. Kinet, B. Van Dorpe, Jos Vercruysse, P. Fransen, E. De Strycker, P. Grootens, S. Trooster, J. Hansen, Jan Erkens, J. Van Torre, P. Van Doornik, C. Traets, M. De Wachter, A. Van Kol, J. Mulders, H. Robbers, A. Poncelet, H. Van Luijk, J. H. Nota, M. De Tollenaere, R. Hostie, J. Kijm, W. Heyvaert, J. De Gendt, G. Neefs, R. D'hondt, Fr Verleysen, J. Vanneste, M. Dierickx & N. Sprokel - 1968 - Bijdragen 29 (1):83-112.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  42.  6
    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 (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  43.  39
    The Continental Feminism Reader.Ann Cahill & Jennifer Hansen (eds.) - 2003 - Rowman & Littlefield.
    Direct download  
     
    Export citation  
     
    Bookmark  
  44.  5
    Sacred commerce: a conversation on environment, ethics, and innovation.John Chryssavgis, Michele Lynn Goldsmith, Jane Goodall, Amory B. Lovins, Bill McKibben & James Edward Hansen (eds.) - 2014 - Brookline, Massachusetts: Holy Cross Orthodox Press.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  45. Networked Learning 2020: Proceedings For The Twelfth International Conference On Networked Learning.Maarten De Laat, Thomas Ryberg, Nina Bonderup Dohn, Stig Børsen Hansen & Jens Jørgen Hansen (eds.) - 2020
    No categories
     
    Export citation  
     
    Bookmark  
  46.  13
    The Planetary Man. Volume I: A Noetic Prelude to a United World. Volume II: An Ethical Prelude to a United World.James E. Hansen - 1974 - Philosophy and Phenomenological Research 34 (3):447-449.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47.  43
    Full transcript of inaugural AARST Science Policy Forum, New York Hilton, Friday 20 November 1998, 7?9 pm.James E. Hansen & Patrick J. Michaels - 2000 - Social Epistemology 14 (2-3):131-180.
    (2000). Full transcript of inaugural AARST Science Policy Forum, New York Hilton, Friday 20 November 1998, 7?9 pm. Social Epistemology: Vol. 14, No. 2-3, pp. 131-180.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48.  29
    Boekbesprekingen.P. Fransen, J. Hansen, J.-M. Tison, J. Vanneste, M. De Wachter, Bernard Van Dorpe, Jos Vercruysse, P. Smulders, S. De Smet, J. Mulders, F. De Graeve, H. Van Leeuwen, B. Van Dorpe, C. Swüste, A. Poncelet, M. De Tollenaere, R. Hostie, P. Van Doornik, G. Wilkens, P. Lacor, J. Kerkhofs, K. Meens, A. Van Kol, Cl Beukers, R. Ceusters & E. De Strycker - 1969 - Bijdragen 30 (1):84-114.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  49. Althusser, forsøg på en motivering.Jesper Visti Hansen - 1980 - København: Institut for kultursociologi.
    No categories
     
    Export citation  
     
    Bookmark  
  50.  13
    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 (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 122