Rohit Chadha, Damiano Macedonio, Vladimiro Sassone  Home/Search
Context
Related
| informatics.sussex....dllFinModSubm.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: informatics.sussex.ac.uk/users... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: An intuitionistic, hybrid modal logic suitable for reasoning about distribution of resources was introduced in [14, 15]. The modalities of the logic allow us to validate 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 the semantics satisfies ... (Update)
Active bibliography (related documents): More All
1.2: A Distributed Kripke Semantics - Chadha, al. (2004) (Correct)
0.5: On Logics With Coimplication - Wolter (Correct)
0.5: A Uniform Tableau Method for Intuitionistic Modal Logics I - Amati, Pirri (1993) (Correct)
Similar documents based on text: More All
0.2: Bigraphical Logics for XML - Giovanni Conforti Universit (2005) (Correct)
0.1: Jeeg: Temporal Constraints for the Synchronization of.. - Milicia, Sassone (2003) (Correct)
0.1: Observational Congruences for Dynamically Reconfigurable .. - Bruni, Montanari.. (2003) (Correct)
BibTeX entry: (Update)
@misc{ chadha-hybrid,
author = "Rohit Chadha and Damiano Macedonio and Vladimiro Sassone",
title = "A Hybrid Intuitionistic Logic: Semantics and Decidability",
url = "citeseer.ist.psu.edu/chadha05hybrid.html" }
Citations (may not include all citations):854 Information and Computation (context) - Milner, Parrow et al. - 1992
357 Algebraic laws for nondeterminism and concurrency (context) - Hennessy, Milner - 1985
268 Proofs and Types (context) - Girard - 1989
167 Resource access control in systems of mobile agents - Hennessy, Riely - 2002
118 A spatial logic for concurrency - Caires, Cardelli - 2001
111 Separation logic: a logic for shared mutable data structures - Reynolds - 2002
109 Theoretical Computer Science (context) - Cardelli, Gordon - 2000
92 Present and Future (context) - Prior - 1967
62 Modal logics for mobile ambients (context) - Cardelli, Gordon et al. - 2000
58 The logic of bunched implications (context) - O'Hearn, Pym - 1999
48 Semantical analysis of intuitionistic logic (context) - Kripke - 1963
44 The Proof Theory and Semantics of Intuitionistic Modal Logic (context) - Simpson - 1994
38 Semantical analysis of modal logic I: Normal modal propositi.. (context) - Kripke - 1963
36 Time and Modality (context) - Prior - 1957
32 What are hybrid languages - Blackburn, Seligman - 1996
27 Internalizing labelled deduction - Blackburn - 2000
27 Hybrid logics: Characterization (context) - Areces, Blackburn et al. - 2001
24 Modal proofs as distributed programs (context) - Jia, Walker - 2003
24 Modal proofs as distributed programs (context) - Jia, Walker - 2004
23 Modal logic as a basis for distributed computation (context) - Moody - 2003
19 and relational structures: a hybrid logic manifesto (context) - Blackburn, reasoning - 2000
16 A symmetric modal lambda calculus for distributed computing - Crary, Murphy et al. - 2004
14 Semantics for a class of intuitionistic modal calculi (context) - Servi - 1981
11 Papers on Time and Tense (context) - Prior - 1968
8 Relations between intuitionistic modal logics and intermedia.. (context) - Ono, Suzuki - 1988
4 Towards constructive hybrid logic (context) - uner, de Paiva - 2003
4 Bringing them all together - Areces, Blackburn - 2001
3 Theoretical Aspects of Reasoning About Knowledge (context) - Plotkin, Stirling - 1986
2 On Some Intuitionistic Modal Logics (context) - Ono - 1977
2 th extended edition (context) - van Dalen, Structure - 2004
1 Modality and Intuitionism (context) - Ewald - 1978
Documents on the same site (http://www.informatics.sussex.ac.uk/users/vs/research/): More
A Calculus for Trust Management - Carbone, Nielsen, Sassone (Correct)
Jeeg: A Programming Language for Concurrent Objects.. - Milicia, Sassone (2002) (Correct)
Algebraic Theories for Contextual Pre-Nets - Bruni, Meseguer, Montanari.. (2001) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC