Axioms for classical, intuitionistic, and paraconsistent hybrid logic

DOI10.1007/s10849-006-9013-2zbMath1108.03033OpenAlexW2008363667MaRDI QIDQ851196

Torben Braüner

Publication date: 17 November 2006

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

Full work available at URL: https://doi.org/10.1007/s10849-006-9013-2

zbMATH Keywords

modal logichybrid logicintuitionistic logicconstructive logicclassical logicparaconsistent logicstrong negationaccessibility relationaxiom systems

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Related Items (4)

Logic talk ⋮ Non-dual modal operators as a basis for 4-valued accessibility relations in hybrid logic ⋮ Intuitionistic hybrid logic: introduction and survey ⋮ Why does the proof-theory of hybrid logic work so well?

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Nominal tense logic
• Pure extensions, proof rules, and hybrid axiomatics
• Constructivism in mathematics. An introduction. Volume II
• Two natural deduction systems for hybrid logic: A comparison
• Natural deduction for first-order hybrid logic
• Intuitionistic hybrid logic
• Hybrid logics: characterization, interpolation and complexity
• Intuitionistic tense and modal logic
• Hybrid languages and temporal logic
• Natural Deduction for Hybrid Logic
• Internalizing labelled deduction

This page was built for publication: Axioms for classical, intuitionistic, and paraconsistent hybrid logic