Decidable navigation logics for object structures

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2142, Issue , 2001, Pages 324-338

  de Boer, Frank S ^a   van Eijk, Rogier M ^a  

^a UTRECHT UNIVERSITY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTABILITY AND DECIDABILITY; NAVIGATION;

FIRST ORDER; KRIPKE MODEL; LOGICAL VARIABLES; MODAL OPERATORS; MULTI-MODAL LOGIC; OBJECT STRUCTURE;

COMPUTER CIRCUITS;

EID: 84855993412     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44802-0_23     Document Type: Conference Paper

References (13)

1. C. Areces, P. Blackburn, and M. Marx. A road-map on the complexity of hybrid logics. In J. Flum and M. Rodríguez-Artalejo, editors, Computer Science Logic, Proceedings of CSL’99, volume 1683of Lecture Notes in Computer Science, pages 307–321. Springer-Verlag, Heidelberg, 1999.
2. P. Blackburn and J. Seligman. Hybrid languages. Journal of Logic, Language and Information, 4:251–272, 1995.
3. P. Blackburn and J. Seligman. What are hybrid languages? In M. Kracht, M. de Rijke, H. Wansing, and M. Zakharyaschev, editors, Advances in Modal Logic’96. CSLI Publications, Stanford, California, 1997.
4. F.S. de Boer. A WP-calculus for OO. In Proceedings of Foundations of Software Science and Computation Structures (FOSSACS’99), volume 1578 of Lecture Notes in Computer Science, pages 135–149, 1999.
5. R.M. van Eijk, F.S. de Boer, W. van der Hoek, and J.-J.Ch. Meyer. Modal logic with bounded quantification over worlds. Journal of Logic and Computation, 2001. To appear.
6. M. Fitting and R.L. Mendelsohn. First-Order Modal Logic. Kluwer Academic Publishers, Dordrecht, The Netherlands, 1998.
7. A. Hamie, J. Howse, and S. Kent. Navigation expressions in object-oriented modelling. In Fundamental Approaches to Software Engineering, Proceedings of FASE’98, volume 1382 of Lecture Notes in Computer Science, pages 123–137. Springer-Verlag, Heidelberg, 1998.
8. D. Harel. First-Order Dynamic Logic, volume 68 of Lecture Notes in Computer Science. Springer-Verlag, Heidelberg, 1979.
9. G.E. Hughes and M.J. Cresswell. An Introduction to Modal Logic. Methuen and Co. Ltd, London, 1968.
10. J. Rumbauch, I. Jacobson, and G. Booch. The Unified Modeling Language Reference Manual. Addison-Wesley, Reading, Massachusetts, 1999.
11. M. Tzakova. Tableau calculi for hybrid logics. In N.V. Murray, editor, Automated Reasoning with Analytic Tableaux and Related Methods, Proceedings of TABLEAUX’99, volume 1617 of Lecture Notes in Artificial Intelligence, pages 278–292. Springer-Verlag, Heidelberg, 1999.
12. M.Y. Vardi. Why is modal logic so robustly decidable? In N. Immerman and P. Kolaitis, editors, Descriptive Complexity and Finite Models, volume 31 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, pages 149–184. AMS, 1997.
13. J.B. Warmer and A.G. Kleppe. The Object Constraint Language: Precise Modeling with UML. Addison-Wesley, Reading, Massachusetts, 1998.