Sökning: "logic"
Visar resultat 1 - 5 av 1078 avhandlingar innehållade ordet 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. Bolzano's logic
Sammanfattning : .... LÄS MER
3. Effective Domains and Admissible Domain Representations
Sammanfattning : This thesis consists of four papers in domain theory and a summary. The first two papers deal with the problem of defining effectivity for continuous cpos. 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. 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