Description

• Title:
  On Combining Intuitionistic and S4 Modal Logic
• Creator:
  Rasga, João;
  Sernadas, Cristina
• Contributor:
  Rasga, João - Instituto de Telecomunicações, Basic Sciences and Enabling Technologies Campus Universitário de Santiago; Universidade de Lisboa, Instituto Superior Técnico, Dep. Matemática;
  Sernadas, Cristina - Instituto de Telecomunicações, Basic Sciences and Enabling Technologies Campus Universitário de Santiago; Universidade de Lisboa, Instituto Superior Técnico, Dep. Matemática;
  Rasga, João - joao.rasga@tecnico.ulisboa.pt;
  Sernadas, Cristina - cristina.sernadas@tecnico.ulisboa.pt
• Description:
  We address the problem of combining intuitionistic and S4 modal logic in a non-collapsing way inspired by the recent works in combining intuitionistic and classical logic. The combined language includes the shared constructors of both logics namely conjunction, disjunction and falsum as well as the intuitionistic implication, the classical implication and the necessity modality. We present a Gentzen calculus for the combined logic defined over a Gentzen calculus for the host S4 modal logic. The semantics is provided by Kripke structures. The calculus is proved to be sound and complete with respect to this semantics. We also show that the combined logic is a conservative extension of each component. Finally we establish that the Gentzen calculus for the combined logic enjoys cut elimination.
• Object availability:
  free access
• Rights: https://creativecommons.org/licenses/by-nc-nd/4.0
• Date:
  2024.09.30;
  2024.06.05
• Type:
  Article
• Language:
  English
• Format:
  application/pdf
• Publisher:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relation:
  Bulletin of the Section of Logic;3;
  53
• Subject:
  combination of logics;
  intuitionistic logic;
  modal logic;
  cut elimination
• Identifier:
  0138-0680;
  http://hdl.handle.net/11089/53271 ;
  2449-836X;
  10.18778/0138-0680.2024.11
• Data provider:
  Repozytorium Uniwersytetu Łódzkiego
• Can I use it?:
  check license
• Type:
  image