A Hybrid Intuitionistic Logic: Semantics and Decidability

DOI10.1093/logcom/exi071zbMath1107.03015OpenAlexW2019935365MaRDI QIDQ5488610

Damiano Macedonio, Rohit Chadha, 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) Logic in computer science (03B70) Decidability of theories and sets of sentences (03B25)

Related Items (4)

Logic talk ⋮ Intuitionistic hybrid logic: introduction and survey ⋮ Sequent calculi and decidability for intuitionistic hybrid logic ⋮ Hybridizing a Logical Framework

This page was built for publication: A Hybrid Intuitionistic Logic: Semantics and Decidability