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

Kripke semanticsspatial modalitiesbirelational semanticsfinite-model propertyhybrid intuitionistic modal logicreasoning about distribution of resourcesspatial distribution of resources

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) 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
• Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic?
• Hybridizing a logical framework
• Hybrid Logical Analyses of the Ambient Calculus
• scientific article; zbMATH DE number 6533399 (Why is no real title available?)
• Intuitionistic hybrid logic: introduction and survey
• Sequent calculi and decidability for intuitionistic hybrid logic
• Intuitionistic hybrid logic
• Formal Modeling and Analysis of Timed Systems
• Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax
• Hybrid fragments of Halpern-Shoham logic and their expressive power
• Logic talk
• Transfer Results for Hybrid Logic. Part I: The Case Without Satisfaction Operators
• A binary Routley semantics for intuitionistic De Morgan minimal logic HM and its extensions
• Birkhoff style calculi for hybrid logics
• Hybrid Logics with Infinitary Proof Systems
• Axioms for classical, intuitionistic, and paraconsistent hybrid logic
• Hybrid logics with Sahlqvist axioms

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)