Return to search

Proof theory of quantified modal logics

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.

Identiferoai:union.ndltd.org:unibo.it/oai:amsdottorato.cib.unibo.it:6658
Date28 May 2014
CreatorsOrlandelli, Eugenio <1981>
ContributorsCorsi, Giovanna
PublisherAlma Mater Studiorum - Università di Bologna
Source SetsUniversità di Bologna
LanguageEnglish
Detected LanguageEnglish
TypeDoctoral Thesis, PeerReviewed
Formatapplication/pdf
Rightsinfo:eu-repo/semantics/openAccess

Page generated in 0.0019 seconds