Sökning: "logic"

Visar resultat 1 - 5 av 948 avhandlingar innehållade ordet 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. Effective Domains and Admissible Domain Representations

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

    Sammanfattning : 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. LÄS MER

  3. 3. Bolzano's logic

    Författare :Jan Berg; Stockholms universitet; []
    Nyckelord :;

    Sammanfattning : .... 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. 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