Two natural deduction systems for hybrid logic: A comparison

DOI10.1023/A:1026187215321zbMath1039.03008MaRDI QIDQ1424966

Torben Braüner

Publication date: 15 March 2004

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

zbMATH Keywords

modal logichybrid logicnatural deduction

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items

Axioms for classical, intuitionistic, and paraconsistent hybrid logic, Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a couple of striking facts, Hybrid-logical reasoning in the Smarties and Sally-Anne tasks, Natural deduction for first-order hybrid logic, Intuitionistic hybrid logic, A proof-theoretic study of the correspondence of hybrid logic and classical logic, Why does the proof-theory of hybrid logic work so well?, Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere