Intuitionistic hybrid logic: introduction and survey
From MaRDI portal
Publication:764256
DOI10.1016/J.IC.2011.10.001zbMATH Open1243.03025OpenAlexW2004627140MaRDI QIDQ764256FDOQ764256
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
Recommendations
Cites Work
- Constructivism in mathematics. An introduction. Volume I
- Many-dimensional modal logics: theory and applications
- Title not available (Why is that?)
- Handbook of modal logic
- Title not available (Why is that?)
- Hybrid languages
- Hybrid logics: Characterization, interpolation and complexity
- Natural deduction for first-order hybrid logic
- Hybrid logic and its proof-theory
- Intuitionistic hybrid logic
- Arthur Prior and hybrid logic
- Programming Languages and Systems
- Title not available (Why is that?)
- A Hybrid Intuitionistic Logic: Semantics and Decidability
- A logic stronger than intuitionism
- Intuitionistic tense and modal logic
- Natural Deduction for Hybrid Logic
- Many-valued hybrid logic
- Internalizing labelled deduction
- A family of Gödel hybrid logics
- Axioms for classical, intuitionistic, and paraconsistent hybrid logic
- Title not available (Why is that?)
- MIPC as the formalisation of an intuitionist concept of modality
- Actions over a constructive semantics for description logics
- Labelled Calculi for Łukasiewicz Logics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Sequent calculi and decidability for intuitionistic hybrid logic
Cited In (3)
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)
