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.
Identifer | oai:union.ndltd.org:unibo.it/oai:amsdottorato.cib.unibo.it:6658 |
Date | 28 May 2014 |
Creators | Orlandelli, Eugenio <1981> |
Contributors | Corsi, Giovanna |
Publisher | Alma Mater Studiorum - Università di Bologna |
Source Sets | Università di Bologna |
Language | English |
Detected Language | English |
Type | Doctoral Thesis, PeerReviewed |
Format | application/pdf |
Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.0015 seconds