Sökning: "Modal logic"

Visar resultat 1 - 5 av 16 avhandlingar innehållade orden Modal logic.

  1. 1. Extensions of Deontic Logic : An Investigation into some Multi-Modal Systems

    Författare :Daniel Rönnedal; Paul Needham; Lennart Åqvist; Allard Tamminga; Stockholms universitet; []
    Nyckelord :HUMANITIES; HUMANIORA; HUMANIORA; HUMANITIES; Deontic logic; Modal logic; Dyadic deontic logic; Semantic tableau; Conditional obligation; Commitment; Counterfactuals; Multi-modal logic; Bimodal logic; Temporal logic; T x W logic; Ought-implies-can; The means-end principle; Theoretical Philosophy; teoretisk filosofi;

    Sammanfattning : Deontic logic is a branch of logic that deals with normative concepts, propositions, arguments and systems. The main purpose of this compilation thesis is to investigate how deontic logic can be extended in a number of ways. We consider several multimodal systems, i.e. LÄS MER

  2. 2. The Logical Structure of the Moral Concepts : An Essay in Propositional Deontic Logic

    Författare :Karl Pettersson; Erik Carlson; Kent Hurtig; Sven Ove Hansson; Uppsala universitet; []
    Nyckelord :HUMANITIES; HUMANIORA; HUMANIORA; HUMANITIES; deontic logic; standard deontic logic SDL ; deontic paradoxes; non-Kripkean modal logic; moral dilemmas; supererogation; Hector-Neri Castañeda; practitions; dyadic deontic logic; Practical philosophy; Praktisk filosofi; Praktisk filosofi; Practical Philosophy;

    Sammanfattning : In this thesis, the main focus is on deontic logic as a tool for formal representation of moral reasoning in natural language. The simple standard system of deontic logic (SDL), i.e. LÄS MER

  3. 3. Modal syllogistics in the Middle Ages

    Författare :Henrik Lagerlund; Uppsala universitet; []
    Nyckelord :HUMANITIES; HUMANIORA; HUMANIORA; HUMANITIES; Philosophy; modal syllogistic; modal logic; Middle Ages; Aristotle; Robert Kilwardby; Albert the Great; Averroes Ibn Rushd ; Richard of Campsall; William of Ockham; John Buridan; Pseudo-Scotus; Albert of Saxony; Marsilius of Inghen; Jodocus Trutfetter; George of Brussels; Filosofi; Philosophy subjects; Filosofiämnen; teoretisk filosofi; Theoretical Philosophy;

    Sammanfattning : This thesis presents the first systematic study of the development of the theory of modal syllogistic during the Middle Ages. It traces the theory from the first commentators, after the rediscovery of Aristotle's Prior Analytics in the twelfth century, to the end of the Middle Ages in the fifteenth century. LÄS MER

  4. 4. On the Logic of Theory Change : Extending the AGM Model

    Författare :Eduardo Fermé; John Cantwell; David Makinson; KTH; []
    Nyckelord :HUMANITIES; HUMANIORA; HUMANIORA; HUMANITIES; Logic of Theory Change. AGM model. Belief Bases; Iterated Models; Multiple belief change; AGM and defeasible Logic; Logic; Logik;

    Sammanfattning : This thesis consists in six articles and a comprehensive summary. • The pourpose of the summary is to introduce the AGM theory of belief change and to exemplify the diversity and significance of the research that has been inspired by the AGM article in the last 25 years. LÄS MER

  5. 5. Term-modal logic and quantifier-free dynamic assignment logic

    Författare :Lars Thalmann; Uppsala universitet; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; Information technology; Informationsteknik;

    Sammanfattning : In this dissertation, we present two new sorts of computer sciencelogics. Many powerful logics exist today for reasoning about multi-agentsystems, but in most of these it is hard to reason about an infiniteor indeterminate number of agents. Also the naming schemes used inthe logics often lack expressiveness to name agents in an intuitiveway. LÄS MER