We introduce labelled sequent calculi for quantified modal logics with non-rigid 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.
Labelled Calculi for Quantified Modal Logics with Non-rigid and Non-denoting Terms / Eugenio Orlandelli; giovanna corsi. - ELETTRONICO. - 2095:(2018), pp. 4.64-4.78. (Intervento presentato al convegno automated resoning in quantifed non-classical logics 3 tenutosi a oxford nel 18/07/2018).
Labelled Calculi for Quantified Modal Logics with Non-rigid and Non-denoting Terms
Eugenio Orlandelli;giovanna corsi
2018
Abstract
We introduce labelled sequent calculi for quantified modal logics with non-rigid 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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.