Search for dissertations about: "Semantic tableau"
Found 1 swedish dissertation containing the words Semantic tableau.
-
1. Extensions of Deontic Logic : An Investigation into some Multi-Modal Systems
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
Result pages:
1