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

DOI10.18778/0138-0680.2022.02MaRDI QIDQ6119334

Torben Braüner

Publication date: 29 February 2024

Published in: Bulletin of the Section of Logic (Search for Journal in Brave)

zbMATH Keywords

hybrid logicnormalizationcut-eliminationsequent systemsnatural deduction systemsanalycity

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• Methods of cut-elimination
• Natural deduction, hybrid systems and modal logics
• Handbook of philosophical logic. Vol. 8
• A proof-theoretic study of the correspondence of hybrid logic and classical logic
• Two natural deduction systems for hybrid logic: A comparison
• On an intuitionistic modal logic
• Hybrid-logical reasoning in the Smarties and Sally-Anne tasks
• Internalization: The Case of Hybrid Logics
• Completeness and termination for a Seligman-style tableau system
• Hybrid logic and its proof-theory