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.

Eugenio Orlandelli, giovanna corsi (2018). Labelled Calculi for Quantified Modal Logics with Non-rigid and Non-denoting Terms. ceur-ws.

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.
2018
Automated Reasoning in Quantified Non-Classical Logics 3rd InternationalWorkshop, ARQNL 2018, Oxford, United Kingdom, July 18th, 2018
64
78
Eugenio Orlandelli, giovanna corsi (2018). Labelled Calculi for Quantified Modal Logics with Non-rigid and Non-denoting Terms. ceur-ws.
Eugenio Orlandelli; giovanna corsi
File in questo prodotto:
Eventuali allegati, non sono esposti

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11585/636250
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact