Intuitionistic hybrid logic: introduction and survey

DOI10.1016/J.IC.2011.10.001MaRDI QIDQ764256zbMATH OpenOpenAlexFDO

Authors 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

intuitionistic logicmodal logichybrid logic

Mathematics Subject Classification ID

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

Recommendations

• Intuitionistic hybrid logic
• Axioms for classical, intuitionistic, and paraconsistent hybrid logic
• First-order hybrid logic: introduction and survey
• A Hybrid Intuitionistic Logic: Semantics and Decidability
• scientific article; zbMATH DE number 1418447

Cites work

• scientific article; zbMATH DE number 4139714 (Why is no real title available?)
• scientific article; zbMATH DE number 4041866 (Why is no real title available?)
• scientific article; zbMATH DE number 3666758 (Why is no real title available?)
• scientific article; zbMATH DE number 42059 (Why is no real title available?)
• scientific article; zbMATH DE number 97789 (Why is no real title available?)
• scientific article; zbMATH DE number 2070200 (Why is no real title available?)
• A Hybrid Intuitionistic Logic: Semantics and Decidability
• A family of Gödel hybrid logics
• A logic stronger than intuitionism
• Actions over a constructive semantics for description logics
• Arthur Prior and hybrid logic
• Axioms for classical, intuitionistic, and paraconsistent hybrid logic
• Constructivism in mathematics. An introduction. Volume I
• Handbook of modal logic
• Hybrid languages
• Hybrid logic and its proof-theory
• Hybrid logics: Characterization, interpolation and complexity
• Internalizing labelled deduction
• Intuitionistic hybrid logic
• Intuitionistic tense and modal logic
• Labelled Calculi for Łukasiewicz Logics
• MIPC as the formalisation of an intuitionist concept of modality
• Many-dimensional modal logics: theory and applications
• Many-valued hybrid logic
• Natural Deduction for Hybrid Logic
• Natural deduction for first-order hybrid logic
• Programming Languages and Systems
• Sequent calculi and decidability for intuitionistic hybrid logic

Cited in

(3)

• A Hybrid Intuitionistic Logic: Semantics and Decidability
• Logic talk
• Intuitionistic hybrid logic

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q764256)