Description

• Title:
  New Modification of the Subformula Property for a Modal Logic
• Creator:
  Takano, Mitio
• Contributor:
  Niigata University Niigata 950-2181, Japan;
  takano@emeritus.niigata-u.ac.jp
• Description:
  A modified subformula property for the modal logic KD with the additionalaxiom □ ◊(A ∨ B) ⊃ □ ◊ A ∨ □ ◊B is shown. A new modification of the notion of subformula is proposed for this purpose. This modification forms a natural extension of our former one on which modified subformula property for the modal logics K5, K5D and S4.2 has been shown ([2] and [4]). The finite model property as well as decidability for the logic follows from this.
• Object availability:
  free access
• Rights: http://creativecommons.org/licenses/by-nc-nd/4.0
• Date:
  2021.05.05;
  2020.11.04
• Type:
  Other
• Language:
  English
• Format:
  application/pdf
• Publisher:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relation:
  Bulletin of the Section of Logic;3;
  49
• Subject:
  subformula property;
  modal logic;
  sequent calculus;
  scope of □
• Identifier:
  0138-0680;
  http://hdl.handle.net/11089/35377 ;
  2449-836X;
  10.18778/0138-0680.2020.15
• Data provider:
  Repozytorium Uniwersytetu Łódzkiego
• Can I use it?:
  check license
• Type:
  other