Search for dissertations about: "logic"

Showing result 1 - 5 of 898 swedish dissertations containing the word logic.

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

    Author : Daniel Rönnedal; Paul Needham; Lennart Åqvist; Allard Tamminga; Stockholms universitet; []
    Keywords : 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;

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

  4. 2. Bolzano's logic

    Author : Jan Berg; Stockholms universitet; []
    Keywords : ;

    Abstract : .... READ MORE

  5. 3. Effective Domains and Admissible Domain Representations

    Author : Göran Hamrin; Viggo Stoltenberg-Hansen; Erik Palmgren; Dieter Spreen; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Logic; symbolic and mathematical; domain theory; admissible domain representation; cartesian closure; effective domains; κ-sequential space; limit space; Matematisk logik; Mathematics; Matematik; Mathematical logic;

    Abstract : This thesis consists of four papers in domain theory and a summary. The first two papers deal with the problem of defining effectivity for continuous cpos. READ MORE

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

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

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

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

    Author : Karl Pettersson; Erik Carlson; Kent Hurtig; Sven Ove Hansson; Uppsala universitet; []
    Keywords : 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;

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