A Hybrid Intuitionistic Logic: Semantics and Decidability
DOI10.1093/LOGCOM/EXI071zbMATH Open1107.03015OpenAlexW2019935365MaRDI QIDQ5488610FDOQ5488610
Authors: Rohit Chadha, Damiano Macedonio, Vladimiro Sassone 
Publication date: 22 September 2006
Published in: Journal Of Logic And Computation (Search for Journal in Brave)
Full work available at URL: https://eprints.soton.ac.uk/261850/1/dllFinModFin.pdf
Recommendations
- Intuitionistic hybrid logic: introduction and survey
- Intuitionistic hybrid logic
- Sequent calculi and decidability for intuitionistic hybrid logic
- Hybrid logic and its proof-theory
- scientific article; zbMATH DE number 6533399
- Hybrid logics: Characterization, interpolation and complexity
- Hybrid functional interpretations of linear and intuitionistic logic
- Axioms for classical, intuitionistic, and paraconsistent hybrid logic
- Hybridized paracomplete and paraconsistent logics
- Algebraic semantics for hybrid logics
Kripke semanticsspatial modalitiesbirelational semanticsfinite-model propertyhybrid intuitionistic modal logicreasoning about distribution of resourcesspatial distribution of resources
Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Logic in computer science (03B70)
Cited In (18)
- Hybrid logics with Sahlqvist axioms
- Title not available (Why is that?)
- Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax
- A binary Routley semantics for intuitionistic De Morgan minimal logic HM and its extensions
- Logic talk
- Formal Modeling and Analysis of Timed Systems
- Hybridizing a logical framework
- Intuitionistic hybrid logic
- Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic?
- Hybrid Logical Analyses of the Ambient Calculus
- Intuitionistic hybrid logic: introduction and survey
- Sequent calculi and decidability for intuitionistic hybrid logic
- Axioms for classical, intuitionistic, and paraconsistent hybrid logic
- Birkhoff style calculi for hybrid logics
- Hybrid logics of separation axioms
- Hybrid Logics with Infinitary Proof Systems
- Transfer Results for Hybrid Logic. Part I: The Case Without Satisfaction Operators
- Hybrid fragments of Halpern-Shoham logic and their expressive power
This page was built for publication: A Hybrid Intuitionistic Logic: Semantics and Decidability
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5488610)
