Chadha, R., Macedonio, D. and Sassone, V.
A Hybrid Intuitionistic Logic: Semantics and Decidability
Journal of Logic and Computation, 16, (1), .
An intuitionistic, hybrid modal logic suitable for reasoning about distribution of resources was introduced by Jia and Walker. The modalities of the logic allow validation of properties in a particular place, in some place and in all places. We give a sound and complete Kripke semantics for the logic extended with disjunctive connectives. The extended logic can be seen as an instance of Hybrid IS5. We also give a sound and complete birelational semantics, and show that it enjoys the finite model property: if a judgement is not valid in the logic, then there is a finite birelational counter-model. Hence, we prove that the logic is decidable.
||spatial distribution of resources, spatial modalities, Kripke and birelational semantics, soundness and completeness, finite-model property
||Web & Internet Science
||27 Jan 2006
||17 Apr 2017 21:51
|Further Information:||Google Scholar|
Actions (login required)