Intuitionistic hybrid logic

DOI10.1016/j.jal.2005.06.009zbMath1106.03011OpenAlexW4213364810WikidataQ56994536 ScholiaQ56994536MaRDI QIDQ2506826

Torben Braüner, V. C. V. de Paiva

Publication date: 10 October 2006

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2005.06.009

zbMATH Keywords

modal logichybrid logicnatural deductionintuitionistic logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items

Axioms for classical, intuitionistic, and paraconsistent hybrid logic ⋮ Embedding Constructive K into Intuitionistic K ⋮ What is a relevant connective? ⋮ Algebraic semantics and model completeness for intuitionistic public announcement logic ⋮ THE LOGIC OF HYPERLOGIC. PART A: FOUNDATIONS ⋮ Unnamed Item ⋮ Logic talk ⋮ A family of Gödel hybrid logics ⋮ Unnamed Item ⋮ Constructive Description Logics Hybrid-Style ⋮ A Hilbert-style axiomatisation for equational hybrid logic ⋮ Towards constructive DL for abstraction and refinement ⋮ Bridges from Language to Logic: Concepts, Contexts and Ontologies ⋮ Intuitionistic hybrid logic: introduction and survey ⋮ Sequent calculi and decidability for intuitionistic hybrid logic ⋮ Why does the proof-theory of hybrid logic work so well? ⋮ Hybridizing a Logical Framework ⋮ Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Constructivism in mathematics. An introduction. Volume I
• Two natural deduction systems for hybrid logic: A comparison
• ML systems: A proof theory for contexts
• Intuitionistic tense and modal logic
• Labelled propositional modal logics: theory and practice
• Natural Deduction for Hybrid Logic
• Internalizing labelled deduction
• Programming Languages and Systems