Sökning: "modal logic"

Hittade 4 uppsatser innehållade orden modal logic.

  1. 1. Self-Leveling pedestal for a movable Industrial Robot

    Master-uppsats, KTH/Maskinkonstruktion (Inst.)

    Författare :Roshan Arun N.S; [2016]
    Nyckelord :;

    Sammanfattning : ABBs kollaborativa robot YUMI, är en industrirobot med sju frihetsgrader. Den har två armar, vilka är avsedda att samverka med människor i arbete. Roboten var ursprungligen avsedd att monteras på ett bord, men olika tillämpningar och krav för förflyttning av sådana samarbetsrobotar motiverade en ny rörlig piedestal. LÄS MER

  3. 2. Trust Logics and Their Horn Fragments : Formalizing Socio-Cognitive Aspects of Trust

    Kandidat-uppsats, Linköpings universitet/Matematik och tillämpad matematik; Linköpings universitet/Tekniska högskolan

    Författare :Karl Nygren; [2015]
    Nyckelord :Trust; modal logic; multi-agent systems; Horn fragment;

    Sammanfattning : This thesis investigates logical formalizations of Castelfranchi and Falcone's (C&F) theory of trust [9, 10, 11, 12]. The C&F theory of trust defines trust as an essentially mental notion, making the theory particularly well suited for formalizations in multi-modal logics of beliefs, goals, intentions, actions, and time. LÄS MER

  4. 3. Inspirations from Potential: Does Human Embryo in vitro Possess Full Moral Status?

    Magister-uppsats, Centrum för tillämpad etik; Linköpings universitet

    Författare :Oleg Artemenko; [2010]
    Nyckelord :Moral status; embryo in vitro; potentiality argument; personhood; modal properties.;

    Sammanfattning : The paper deals with the problem of the moral status of human embryos in vitro obtained via somatic cell nuclear transfer, in vitro fertilization and similar biotechnologies. The purpose of research is to investigate whether it is possible to ascribe the position of full moral status to the embryo in vitro relying on its intrinsic properties. LÄS MER

  5. 4. Completeness in modal logic

    Kandidat-uppsats, Lunds universitet/Teoretisk filosofi

    Författare :Sebastian Enqvist; [2005]
    Nyckelord :Modal logic; David Lewis; Peter Gärdenfors; Bengt Hansson; Philosophical logic; Filosofisk logik; logik; Philosophy and Religion;

    Sammanfattning : This paper is mainly inspired by formal research results and philosophical considerations in ?A guide to intensional semantics?, written in 1973 by Bengt Hansson and Peter Gärdenfors. That essay was focused on the philosophy of semantics for modal logics, with special attention to completeness results. LÄS MER