A Hybrid Intuitionistic Logic: Semantics and Decidability

DOI10.1093/LOGCOM/EXI071MaRDI QIDQ5488610zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

birelational semanticsfinite-model propertyhybrid intuitionistic modal logicKripke semanticsreasoning about distribution of resourcesspatial distribution of resourcesspatial modalities

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

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

Cited in

(18)

• Hybrid logics of separation axioms
• Birkhoff style calculi for hybrid logics
• Hybrid fragments of Halpern-Shoham logic and their expressive power
• Intuitionistic hybrid logic
• Hybridizing a logical framework
• scientific article; zbMATH DE number 6533399 (Why is no real title available?)
• Hybrid Logical Analyses of the Ambient Calculus
• 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
• Hybrid Logics with Infinitary Proof Systems
• Transfer Results for Hybrid Logic. Part I: The Case Without Satisfaction Operators
• Hybrid logics with Sahlqvist axioms
• Formal Modeling and Analysis of Timed Systems
• Logic talk
• Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic?
• Intuitionistic hybrid logic: introduction and survey
• Sequent calculi and decidability for intuitionistic hybrid logic
• Axioms for classical, intuitionistic, and paraconsistent hybrid logic

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)