Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a couple of striking facts

Autor: Torben Braüner
Jazyk: angličtina
Rok vydání: 2022
Předmět:
Zdroj: Bulletin of the Section of Logic, Vol 51, Iss 2, Pp 143-162 (2022)
Druh dokumentu: article
ISSN: 0138-0680
2449-836X
DOI: 10.18778/0138-0680.2022.02
Popis: 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.
Databáze: Directory of Open Access Journals