A hybrid intuitionistic logic: Semantics and decidability

Journal of Logic and Computation

Volumn 16, Issue 1, 2006, Pages 27-59

  Chadha, Rohit ^a   MacEdonio, Damiano ^b   Sassone, Vladimiro ^c  

^a INSTITUTO SUPERIOR TÉCNICO   (Portugal)

^b CA' FOSCARI UNIVERSITY OF VENICE   (Italy)

^c UNIVERSITY OF SOUTHAMPTON   (United Kingdom)

Author keywords

Finite model property; Kripke and birelational semantics; Soundness and completeness; Spatial distribution of resources; Spatial modalities

Indexed keywords

FINITE-MODEL PROPERTY; KRIPKE AND BIRELATIONAL SEMANTICS; SOUNDNESS AND COMPLETENESS; SPATIAL DISTRIBUTION OF RESOURCES; SPATIAL MODALITIES;

COMPUTABILITY AND DECIDABILITY; COMPUTER SCIENCE; FORMAL LOGIC; INFORMATION TECHNOLOGY; MATHEMATICAL MODELS; RELATIONAL DATABASE SYSTEMS; RESOURCE ALLOCATION;

SEMANTICS;

EID: 33645752187     PISSN: 0955792X     EISSN: 1465363X     Source Type: Journal    
DOI: 10.1093/logcom/exi071     Document Type: Article

References (39)

1. C. Areces and P. Blackburn. Bringing them all together. Journal of Logic and Computation, 11, 657-669, 2001.
2. C. Areces, P. Blackburn, and M. Marx. Hybrid logics: characterization, interpolation and complexity. Journal of Symbolic Logic, 66, 997-1010, 2001.
3. N. Biri and D. Galmiche. A separation logic for resource distribution. In FSTTCS'03, volume 2914 of Lecture Notes in Computer Science, pp. 23-37. Springer Verlag, 2003.
4. P. Blackburn. Internalizing labelled deduction. Journal of Logic and Computation, 10, 137-168, 2000.
5. P. Blackburn. Representation, reasoning, and relational structures: a hybrid logic manifesto. Logic Journal of the IGPL, 8, 339-365, 2000.
6. P. Blackburn and J. Seligman. What are hybrid languages? In Advances in Modal Logic, M. Kracht, M. de Rijke, H. Wansing, and M. Zakharyaschev, eds, Vol. 1, pp. 41-62. CSLI, 1996.
7. T. Braüner and V. de Paiva. Intuitionistic Hybrid Logic. Journal of Applied Logic. In print 2006.
8. L. Caires and L. Cardelli. A spatial logic for concurrency (part I). In TACS'01, volume 2215 of Lecture Notes in Computer Science, pp. 1-37. Springer Verlag, 2001.
9. L. Cardelli and A.D. Gordon. Anytime, anywhere. Modal logics for mobile ambients. In POPL'00, pp. 365-377. ACM Press, 2000.
10. L. Cardelli and A.D. Gordon. Mobile ambients. Theoretical Computer Science, Special Issue on Coordination, 240, 177-213, 2000.
11. R. Chadha, D. Macedonio, and V. Sassone. A hybrid intuitionistic logic: semantics and decidability (extended version). Computer Science Report 2005:07, University of Sussex, 2005.
12. W. B. Ewald. Time, Modality and Intuitionism. PhD thesis, University of Oxford, 1978.
13. G. Fisher Servi. Semantics for a class of intuitionistic modal calculi. In Italian Studies in the Philosophy of Science, M. L. dalla Chiara, ed., pp. 59-72. Reidel Publishing Company, 1981.
14. J.-Y. Girard. Proofs and Types. Cambridge University Press, 1989.
15. R. Harrop. On the existence of finite models and decision procedures for propositional calculi. In Proceedings of Cambridge Philosophical Society, 54, pp. 1-13, 1958.
16. M. Hennessy and R. Milner. Algebraic laws for nondeterminism and concurrency. Journal of the ACM, 32, 137-161, 1985.
17. M. Hennessy and J. Riely. Resource access control in systems of mobile agents. Information and Computation, 173, 82-120, 2002.
18. L. Jia and D. Walker. Modal proofs as distributed programs. Technical Report TR-671-03, Princeton University, 2003.
19. L. Jia and D. Walker. Modal proofs as distributed programs (extended abstract). In ESOP'04, volume 2986 of Lecture Notes in Computer Science, pp. 219-233. Springer Verlag, 2004.
20. S.A. Kripke. Semantical analysis of modal logic 1: Normal modal propositional calculi. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 9, 67-96, 1963.
21. S.A. Kripke. Semantical analysis of intuitionistic logic, I. In Proceedings of Logic Colloquium, Oxford, 1963, pp. 92-130. North-Holland Publishing Company, 1965.
22. R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, parts 1 and II. Information and Computation, 100, 1-77, 1992.
23. J. Moody. Modal logic as a basis for distributed computation. Technical Report CMU-CS-03-194, Carnegie Mellon University, 2003.
24. T. Murphy VII, K. Crary, R. Harper, and F. Pfenning. A symmetric modal lambda calculus for distributed computing. In Proceedings of LICS'04, pp. 286-295. IEEE Press, 2004.
25. T. Murphy VII, R. Harper, and K. Crary. Distributed control flow with classical modal logic. In CSL'05, volume 3634 of Lecture Notes in Computer Science, pp. 51-69. Springer Verlag, 2005.
26. P.W. O'Hearn and D. Pym. The logic of bunched implications. Bulletin of Symbolic Logic, 5, 215-244, 1999.
27. H. Ono. On Some Intuitionistic Modal Logics, Vol. 13, pp. 687-722. Publications of RIMS, Kyoto University, 1977.
28. H. Ono and N.-Y. Suzuki. Relations between intuitionistic modal logics and intermediate predicate logics. Reports on Mathematical Logic, 22, 65-87, 1988.
29. D. Pattinson and B. Reus. A complete temporal and spatial logic for distributed systems. In Frontiers of Combining Systems (FroCoS), volume 3717 of Lecture Notes in Artificial Intelligence, pp. 122-137. Springer-Verlag, 2005.
30. G. D Plotkin and C. P Stirling. A framework for intuititionistic modal logic. In Theoretical Aspects of Reasoning About Knowledge, J. Y. Halpern, ed. Morgan Kaufmann, 1986.
31. A. Prior. Past, Present and Future. Oxford University Press, 1967.
32. A. Prior. Papers on Time and Tense. Oxford University Press, 1968.
33. A. N. Prior. Time and Modality. Oxford University Press, 1957.
34. D. Pym and C. Tofts. A calculus and logic of resources and processes. Technical Report HPL-2004-170R1, HP Laboratories Bristol, 2005.
35. D.J. Pym. The Semantics and Proof Theory of the Logic of the Logic of Bunched Implications, Vol. 26 of Applied. Logic-Series. Kluwer Academic Publishers, 2002.
36. D.J. Pym, P.W. O'Hearn, and H. Yang. Possible worlds and resources: the semantics of BI. Theoretical Computer Science, 315, 257-305, 2004.
37. J. Reynolds. Separation logic: a logic for shared mutable data structures. In LICS'02, pp. 55-74. IEEE Computer Society Press, 2002.
38. A.K. Simpson. The Proof Theory and Semantics of Intuitionistic Modal Logic. PhD thesis, University of Edinburgh, 1994.
39. D. van Dalen. Logic and Structure. Springer Verlag, 4th extended edition, 2004.