Search for dissertations about: "Modal logic"

Showing result 1 - 5 of 16 swedish dissertations containing the words Modal 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. 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

5. 3. Modal syllogistics in the Middle Ages

   Author : Henrik Lagerlund; Uppsala universitet; []
   Keywords : HUMANIORA; HUMANITIES; Philosophy; modal syllogistic; modal logic; Middle Ages; Aristotle; Robert Kilwardby; Albert the Great; Averroes Ibn Rushd ; Richard of Campsall; William of Ockham; John Buridan; Pseudo-Scotus; Albert of Saxony; Marsilius of Inghen; Jodocus Trutfetter; George of Brussels; Filosofi; Philosophy subjects; Filosofiämnen; teoretisk filosofi; Theoretical Philosophy;

   Abstract : This thesis presents the first systematic study of the development of the theory of modal syllogistic during the Middle Ages. It traces the theory from the first commentators, after the rediscovery of Aristotle's Prior Analytics in the twelfth century, to the end of the Middle Ages in the fifteenth century. 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. Norms and Alternatives : Logical Aspects of Normative Reasoning

   Author : Karl Nygren; Valentin Goranko; Dag Westerståhl; Ivano Ciardelli; Stockholms universitet; []
   Keywords : HUMANIORA; HUMANITIES; alternative semantics; norms; normative systems; deontic logic; modal logic; inquisitive semantics; inquisitive logic; semantics of questions; disjunction; free choice; obligation; permission; action; normative reasoning; ignorance; axiomatic system; completeness; Philosophy; filosofi;

   Abstract : In this thesis, I develop and investigate various novel semantic frameworks for deontic logic. Deontic logic concerns the logical aspects of normative reasoning. In particular, it concerns reasoning about what is required, allowed and forbidden. I focus on two main issues: free-choice reasoning and the role of norms in deontic logic. READ MORE