Proof theory of quantified modal logics

Orlandelli, Eugenio (2014) Proof theory of quantified modal logics, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Science, cognition and technology, 26 Ciclo. DOI 10.6092/unibo/amsdottorato/6658.
Documenti full-text disponibili:
[img]
Anteprima
Documento PDF (English) - Richiede un lettore di PDF come Xpdf o Adobe Acrobat Reader
Download (867kB) | Anteprima

Abstract

We introduce labelled sequent calculi for indexed modal logics. We prove that the structural rules of weakening and contraction are height-preserving admissible, that all rules are invertible, and that cut is admissible. Then we prove that each calculus introduced is sound and complete with respect to the appropriate class of transition frames.

Abstract
Tipologia del documento
Tesi di dottorato
Autore
Orlandelli, Eugenio
Supervisore
Co-supervisore
Dottorato di ricerca
Scuola di dottorato
Scienze umanistiche
Ciclo
26
Coordinatore
Settore disciplinare
Settore concorsuale
Parole chiave
quantified modal logic, proof theory, structural rules, completeness
URN:NBN
DOI
10.6092/unibo/amsdottorato/6658
Data di discussione
28 Maggio 2014
URI

Altri metadati

Statistica sui download

Gestione del documento: Visualizza la tesi

^