Non-normal modal logics, quantification, and deontic dilemmas. A study in multi-relational semantics

Calardo, Erica (2013) Non-normal modal logics, quantification, and deontic dilemmas. A study in multi-relational semantics , [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Diritto e nuove tecnologie: indirizzo Informatica giuridica e diritto dell’informatica, 25 Ciclo. DOI 10.6092/unibo/amsdottorato/6108.
Documenti full-text disponibili:
[img]
Anteprima
Documento PDF (English) - Richiede un lettore di PDF come Xpdf o Adobe Acrobat Reader
Download (1MB) | Anteprima

Abstract

This dissertation is devoted to the study of non-normal (modal) systems for deontic logics, both on the propositional level, and on the first order one. In particular we developed our study the Multi-relational setting that generalises standard Kripke Semantics. We present new completeness results concerning the semantic setting of several systems which are able to handle normative dilemmas and conflicts. Although primarily driven by issues related to the legal and moral field, these results are also relevant for the more theoretical field of Modal Logic itself, as we propose a syntactical, and semantic study of intermediate systems between the classical propositional calculus CPC and the minimal normal modal logic K.

Abstract
Tipologia del documento
Tesi di dottorato
Autore
Calardo, Erica
Supervisore
Dottorato di ricerca
Scuola di dottorato
Scienze giuridiche
Ciclo
25
Coordinatore
Settore disciplinare
Settore concorsuale
Parole chiave
modal logic, deontic logic, non normal modal logic, deontic dilemmas, quantified modal logic, multi relational semantics
URN:NBN
DOI
10.6092/unibo/amsdottorato/6108
Data di discussione
9 Settembre 2013
URI

Altri metadati

Statistica sui download

Gestione del documento: Visualizza la tesi

^