A Hybrid Intuitionistic Logic: Semantics and Decidability


Chadha, R., Macedonio, D. and Sassone, V. (2006) A Hybrid Intuitionistic Logic: Semantics and Decidability. Journal of Logic and Computation, 16, (1), 27-59.

Download

[img] PDF
Download (229Kb)

Description/Abstract

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.

Item Type: Article
Additional Information: To appear
Keywords: spatial distribution of resources, spatial modalities, Kripke and birelational semantics, soundness and completeness, finite-model property
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Web & Internet Science
ePrint ID: 261850
Date Deposited: 27 Jan 2006
Last Modified: 27 Mar 2014 20:04
Publisher: Oxford University Press
Further Information:Google Scholar
ISI Citation Count:3
URI: http://eprints.soton.ac.uk/id/eprint/261850

Actions (login required)

View Item View Item