Search for dissertations about: "Bimodal logic"

Found 1 swedish dissertation containing the words Bimodal 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