Labelled calculi for quantified modal logics with definite descriptions
From MaRDI portal
Publication:6334647
DOI10.1093/LOGCOM/EXAB018arXiv2002.04855MaRDI QIDQ6334647
Publication date: 12 February 2020
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.
This page was built for publication: Labelled calculi for quantified modal logics with definite descriptions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6334647)
