A Distributed Kripke Semantics
A Distributed Kripke Semantics
An intuitionistic, hybrid modal logic suitable for reasoning about distribution of resources was introduced in [10]. We extend the Kripke semantics of intuitionistic logic, enriching each possible Kripke state with a set of places, and show that this semantics is both sound and complete for the logic. In the semantics, resources of a distributed system are interpreted as atoms, and placement of atoms in a possible state corresponds to the distribution of the resources. The modalities of the logic allow us to validate properties in a particular place, in some place and in all places. We extend the logic with disjunctive connectives, and refine our semantics to obtain soundness and completeness for extended logic. The extended logic can be seen as an instance of Hybrid IS5 [2, 18].
intuitionist logics, hybrid logics, resource logics, spatial logic, distributed logics, kripke models
Chadha, R.
3b2e898a-478e-418a-9423-19952e596acf
Macedonio, D.
fd742c8a-820c-4ad2-a72a-94c44171917f
Sassone, V.
df7d3c83-2aa0-4571-be94-9473b07b03e7
December 2004
Chadha, R.
3b2e898a-478e-418a-9423-19952e596acf
Macedonio, D.
fd742c8a-820c-4ad2-a72a-94c44171917f
Sassone, V.
df7d3c83-2aa0-4571-be94-9473b07b03e7
Chadha, R., Macedonio, D. and Sassone, V.
(2004)
A Distributed Kripke Semantics
Record type:
Monograph
(Project Report)
Abstract
An intuitionistic, hybrid modal logic suitable for reasoning about distribution of resources was introduced in [10]. We extend the Kripke semantics of intuitionistic logic, enriching each possible Kripke state with a set of places, and show that this semantics is both sound and complete for the logic. In the semantics, resources of a distributed system are interpreted as atoms, and placement of atoms in a possible state corresponds to the distribution of the resources. The modalities of the logic allow us to validate properties in a particular place, in some place and in all places. We extend the logic with disjunctive connectives, and refine our semantics to obtain soundness and completeness for extended logic. The extended logic can be seen as an instance of Hybrid IS5 [2, 18].
Text
dllTechRep.pdf
- Other
More information
Published date: December 2004
Keywords:
intuitionist logics, hybrid logics, resource logics, spatial logic, distributed logics, kripke models
Organisations:
Web & Internet Science
Identifiers
Local EPrints ID: 261853
URI: http://eprints.soton.ac.uk/id/eprint/261853
PURE UUID: 2cf7577f-7d69-4e82-ab89-8b2b9848d27e
Catalogue record
Date deposited: 27 Jan 2006
Last modified: 10 Sep 2024 01:40
Export record
Contributors
Author:
R. Chadha
Author:
D. Macedonio
Author:
V. Sassone
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics