This paper provides a proof-theoretic study of quantified non-normal modal logics. It introduces labelled sequent calculi based on neighbourhood semantics for the first-order extension, with both varying and constant domains, of monotone non-normal modal logics, and studies the role of the Barcan Formulas in these calculi. It will be shown that the calculi introduced have good structural properties: invertibility of the rules, height-preserving admissibility of weakening and contraction, and syntactic cut elimination. It will also be shown that each of the calculi introduced is sound and complete with respect to the appropriate class of neighbourhood frames. In particular, the completeness proof constructs a formal derivation for derivable sequents and a countermodel for non-derivable ones, and gives a semantic proof of the admissibility of cut.

Negri, S., Orlandelli, E. (2019). Proof theory for quantified monotone modal logics. LOGIC JOURNAL OF THE IGPL, 27(4), 478-506 [10.1093/jigpal/jzz015].

Proof theory for quantified monotone modal logics

Orlandelli, Eugenio
2019

Abstract

This paper provides a proof-theoretic study of quantified non-normal modal logics. It introduces labelled sequent calculi based on neighbourhood semantics for the first-order extension, with both varying and constant domains, of monotone non-normal modal logics, and studies the role of the Barcan Formulas in these calculi. It will be shown that the calculi introduced have good structural properties: invertibility of the rules, height-preserving admissibility of weakening and contraction, and syntactic cut elimination. It will also be shown that each of the calculi introduced is sound and complete with respect to the appropriate class of neighbourhood frames. In particular, the completeness proof constructs a formal derivation for derivable sequents and a countermodel for non-derivable ones, and gives a semantic proof of the admissibility of cut.
2019
Negri, S., Orlandelli, E. (2019). Proof theory for quantified monotone modal logics. LOGIC JOURNAL OF THE IGPL, 27(4), 478-506 [10.1093/jigpal/jzz015].
Negri, Sara; Orlandelli, Eugenio
File in questo prodotto:
File Dimensione Formato  
Negri_Orlandelli_Proof.pdf

accesso aperto

Descrizione: Articolo
Tipo: Postprint
Licenza: Licenza per accesso libero gratuito
Dimensione 2.56 MB
Formato Adobe PDF
2.56 MB Adobe PDF Visualizza/Apri

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/687768
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 6
  • ???jsp.display-item.citation.isi??? 4
social impact