This paper studies nested sequents for quantified modal logics. In particular, it considers extensions of the propositional modal logics definable by the axioms D, T, B, 4, and 5 with varying, increasing, decreasing, and constant domains. Each calculus is proved to have good structural properties: weakening and contraction are height-preserving admissible and cut is (syntactically) admissible. Each calculus is shown to be equivalent to the corresponding axiomatic system and, thus, to be sound and complete. Finally, it is argued that the calculi are internal—i.e., each sequent has a formula interpretation—whenever the existence predicate is expressible in the language.

Lyon, T.S., Orlandelli, E. (2023). Nested Sequents for Quantified Modal Logics. Cham : Springer [10.1007/978-3-031-43513-3_24].

Nested Sequents for Quantified Modal Logics

Orlandelli, Eugenio
Co-primo
2023

Abstract

This paper studies nested sequents for quantified modal logics. In particular, it considers extensions of the propositional modal logics definable by the axioms D, T, B, 4, and 5 with varying, increasing, decreasing, and constant domains. Each calculus is proved to have good structural properties: weakening and contraction are height-preserving admissible and cut is (syntactically) admissible. Each calculus is shown to be equivalent to the corresponding axiomatic system and, thus, to be sound and complete. Finally, it is argued that the calculi are internal—i.e., each sequent has a formula interpretation—whenever the existence predicate is expressible in the language.
2023
Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2023
449
467
Lyon, T.S., Orlandelli, E. (2023). Nested Sequents for Quantified Modal Logics. Cham : Springer [10.1007/978-3-031-43513-3_24].
Lyon, Tim S.; Orlandelli, Eugenio
File in questo prodotto:
File Dimensione Formato  
LyonOrlandelli_2023_NestedQML.pdf

accesso aperto

Descrizione: Contributo in Atti di Convegno
Tipo: Versione (PDF) editoriale
Licenza: Licenza per Accesso Aperto. Creative Commons Attribuzione (CCBY)
Dimensione 394.22 kB
Formato Adobe PDF
394.22 kB 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/942053
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? 0
social impact