Labelled calculi for quantified modal logics with definite descriptions
Logic
2020-02-13 v1 Logic in Computer Science
Abstract
We introduce labelled sequent calculi for quantified modal logics with definite descriptions. 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.
Keywords
Cite
@article{arxiv.2002.04855,
title = {Labelled calculi for quantified modal logics with definite descriptions},
author = {Eugenio Orlandelli},
journal= {arXiv preprint arXiv:2002.04855},
year = {2020}
}