Intuitionistic hybrid logic: introduction and survey

DOI10.1016/j.ic.2011.10.001zbMath1243.03025OpenAlexW2004627140MaRDI QIDQ764256

Torben Braüner

Publication date: 13 March 2012

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2011.10.001

zbMATH Keywords

modal logichybrid logicintuitionistic logic

Mathematics Subject Classification ID

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

Related Items (1)

Logic talk

Cites Work

• A family of Gödel hybrid logics
• Sequent calculi and decidability for intuitionistic hybrid logic
• Axioms for classical, intuitionistic, and paraconsistent hybrid logic
• Arthur Prior and hybrid logic
• Constructivism in mathematics. An introduction. Volume I
• Many-dimensional modal logics: theory and applications
• Natural deduction for first-order hybrid logic
• Hybrid languages
• Intuitionistic hybrid logic
• Hybrid logics: characterization, interpolation and complexity
• Actions Over a Constructive Semantics for Description Logics
• Labelled Calculi for Łukasiewicz Logics
• Intuitionistic tense and modal logic
• A logic stronger than intuitionism
• Natural Deduction for Hybrid Logic
• Internalizing labelled deduction
• Programming Languages and Systems
• A Hybrid Intuitionistic Logic: Semantics and Decidability
• MIPC as the formalisation of an intuitionist concept of modality
• Hybrid logic and its proof-theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Intuitionistic hybrid logic: introduction and survey