Description

• Title:
  Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a couple of striking facts
• Creator:
  Braüner, Torben
• Contributor:
  Roskilde University, Department of People and Technology, Building 10.1, Universitetsvej 1, P.O. Box 260, DK-4000 Roskilde, Denmark;
  torben@ruc.dk
• Description:
  This paper is about non-labelled proof-systems for hybrid logic, that is, proofsystems where arbitrary formulas can occur, not just satisfaction statements. We give an overview of such proof-systems, focusing on analytic systems: Natural deduction systems, Gentzen sequent systems and tableau systems. We point out major results and we discuss a couple of striking facts, in particular that nonlabelled hybrid-logical natural deduction systems are analytic, but this is not proved in the usual way via step-by-step normalization of derivations.
• Object availability:
  free access
• Rights: https://creativecommons.org/licenses/by-nc-nd/4.0
• Date:
  2022.08.25;
  2022.01.07
• Type:
  Other
• Language:
  English
• Format:
  application/pdf
• Publisher:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relation:
  Bulletin of the Section of Logic;2;
  51
• Subject:
  hybrid logic;
  natural deduction systems;
  sequent systems;
  normalization;
  cut-elimination;
  analycity
• Identifier:
  0138-0680;
  http://hdl.handle.net/11089/42921 ;
  2449-836X;
  10.18778/0138-0680.2022.02
• Data provider:
  Repozytorium Uniwersytetu Łódzkiego
• Can I use it?:
  check license
• Type:
  other