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]](http://eprints.soton.ac.uk/style/images/fileicons/application_pdf.png) |
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 and Applied Science > Electronics and Computer Science > Web & Internet Science |
| Item ID: | 261850 |
| Date Deposited: | 27 Jan 2006 |
| Last Modified: | 20 Aug 2012 03:47 |
| Contributors: | Chadha, R. (Author) Macedonio, D. (Author) Sassone, V. (Author) |
| Date: | 2006 |
| Additional Information: | To appear |
| Status: | Published |
| 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 |
