Sequent calculi and interpolation for non-normal modal and deonticlogics
From MaRDI portal
Publication:6316267
DOI10.12775/LLP.2020.018arXiv1903.11342MaRDI QIDQ6316267
Author name not available (Why is that?)
Publication date: 27 March 2019
Abstract: G3-style sequent calculi for the logics in the cube of non-normal modal logics and for their deontic extensions are studied. For each calculus we prove that weakening and contraction are height-preserving admissible, and we give a syntactic proof of the admissibility of cut. This implies that the subformula property holds and that derivability can be decided by a terminating proof search whose complexity is in PSPACE. These calculi are shown to be equivalent to the axiomatic ones and, therefore, they are sound and complete with respect to neighbourhood semantics. Finally, it is given a Maehara-style proof of Craig's interpolation theorem for most of the logics considered.
No records found.
This page was built for publication: Sequent calculi and interpolation for non-normal modal and deonticlogics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6316267)
