Essays about: "modal logic"

Found 4 essays containing the words modal logic.

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

    University essay from KTH/Maskinkonstruktion (Inst.)

    Author : Roshan Arun N.S; [2016]
    Keywords : ;

    Abstract : 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. READ MORE

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

    University essay from Linköpings universitet/Matematik och tillämpad matematik; Linköpings universitet/Tekniska högskolan

    Author : Karl Nygren; [2015]
    Keywords : Trust; modal logic; multi-agent systems; Horn fragment;

    Abstract : 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. READ MORE

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

    University essay from Centrum för tillämpad etik; Linköpings universitet

    Author : Oleg Artemenko; [2010]
    Keywords : Moral status; embryo in vitro; potentiality argument; personhood; modal properties.;

    Abstract : 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. READ MORE

  5. 4. Completeness in modal logic

    University essay from Lunds universitet/Teoretisk filosofi

    Author : Sebastian Enqvist; [2005]
    Keywords : Modal logic; David Lewis; Peter Gärdenfors; Bengt Hansson; Philosophical logic; Filosofisk logik; logik; Philosophy and Religion;

    Abstract : 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. READ MORE