A Hybrid Intuitionistic Logic: Semantics and Decidability
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 logi...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
2006.
|
| Subjects: | |
| Online Access: | Get fulltext |