Description

• Title:
  Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics
• Creator:
  Orlandelli, Eugenio
• Description:
  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, a Maehara-style proof of Craig’s interpolation theorem for most of the logics considered is given.
• Object availability:
  free access
• Rights:
  Prawa autorskie (c) 2020 Logic and Logical Philosophy
• Date:
  2020.10.10
• Type:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Language:
  English
• Source:
  Logic and Logical Philosophy; Vol. 30 No. 1 (2021): March; 139-183;
  Logic and Logical Philosophy; Tom 30 Nr 1 (2021): marzec; 139-183;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Publisher:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relation: https://apcz.umk.pl/LLP/article/view/LLP.2020.018/26766
• Subject:
  non-normal logics;
  deontic logics;
  sequent calculi;
  structural proof theory;
  interpolation;
  decidability
• Identifier: https://apcz.umk.pl/LLP/article/view/LLP.2020.018
• Data provider:
  Akademicka Platforma Czasopism
• Can I use it?:
  seek permission
• Type:
  text