Intuitionistic hybrid logic: introduction and survey
From MaRDI portal
Publication:764256
DOI10.1016/j.ic.2011.10.001zbMath1243.03025OpenAlexW2004627140MaRDI QIDQ764256
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
Related Items (1)
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