- Proof theory of quantified modal logics
- Orlandelli, Eugenio <1981>
Subject
- M-FIL/02 Logica e filosofia della scienza
Description
- 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.
Date
- 2014-05-28
Type
- Doctoral Thesis
- PeerReviewed
Format
- application/pdf
Identifier
urn:nbn:it:unibo-13019
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