Search for dissertations about: "tableaux systems"

Found 2 swedish dissertations containing the words tableaux systems.

  2. 1. Truth and Proof in the Long Run: Essays on Trial and-Error Logics

    Author : Martin Kaså; Göteborgs universitet; []
    Keywords : HUMANIORA; HUMANITIES; NATURVETENSKAP; NATURAL SCIENCES; convergence; dynamic meaning; experimental logics; knowable consistency; tableaux systems; trial-and-error;

    Abstract : The theme of this book is convergence. For many philosophical representations of the evolution of theories, as well as representations of the meaning of the language used to express these theories, it has been essential that there exists some kind of convergence. READ MORE

  4. 2. 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