A Distributed Kripke Semantics
Chadha, R., Macedonio, D. and Sassone, V. (2004) A Distributed Kripke Semantics.
An intuitionistic, hybrid modal logic suitable for reasoning about distribution of resources was introduced in . 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].
|Item Type:||Monograph (Technical Report)|
|Keywords:||intuitionist logics, hybrid logics, resource logics, spatial logic, distributed logics, kripke models|
|Divisions:||Faculty of Physical and Applied Science > Electronics and Computer Science > Web & Internet Science
|Date Deposited:||27 Jan 2006|
|Last Modified:||02 Mar 2012 12:40|
|Contributors:||Chadha, R. (Author)
Macedonio, D. (Author)
Sassone, V. (Author)
|Further Information:||Google Scholar|
|RDF:||RDF+N-Triples, RDF+N3, RDF+XML, Browse.|
Actions (login required)