Sökning: "modal logic"
Visar resultat 1 - 5 av 18 avhandlingar innehållade orden modal logic.
1. Extensions of Deontic Logic : An Investigation into some Multi-Modal Systems
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. The Logical Structure of the Moral Concepts : An Essay in Propositional Deontic Logic
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
3. Modal syllogistics in the Middle Ages
Sammanfattning : 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. LÄS MER
4. On the Logic of Theory Change : Extending the AGM Model
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. Norms and Alternatives : Logical Aspects of Normative Reasoning
Sammanfattning : 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. LÄS MER