A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf
.
Labelled Calculi for Quantified Modal Logics with Non-rigid and Non-denoting Terms
2018
Conference on Automated Deduction
We introduce labelled sequent calculi for quantified modal logics with non-rigid and and non-denoting terms. We prove that these calculi have the good structural properties of G3-style calculi. In particular, all rules are height-preserving invertible, weakening and contraction are height-preserving admissible and cut is admissible. Finally, we show that each calculus gives a proof-theoretic characterization of validity in the corresponding class of models.
dblp:conf/cade/OrlandelliC18
fatcat:3z2zqpzhofaarhmkuh6qh3swja