{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:17:25Z","timestamp":1725484645018},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540425540"},{"type":"electronic","value":"9783540448020"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44802-0_23","type":"book-chapter","created":{"date-parts":[[2007,6,1]],"date-time":"2007-06-01T00:15:38Z","timestamp":1180656938000},"page":"324-338","source":"Crossref","is-referenced-by-count":1,"title":["Decidable Navigation Logics for Object Structures"],"prefix":"10.1007","author":[{"given":"Frank S.","family":"de Boer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rogier M.","family":"van Eijk","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,8,30]]},"reference":[{"key":"23_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1007\/3-540-48168-0_22","volume-title":"Computer Science Logic, Proceedings of CSL\u201999","author":"Areces","year":"1999","unstructured":"Areces, P. Blackburn, and M. Marx. A road-map on the complexity of hybrid logics. In J. Flum and M. Rodr\u00fdguez-Artalejo, editors, Computer Science Logic, Proceedings of CSL\u201999, volume 1683 of Lecture Notes in Computer Science, pages 307\u2013321. Springer-Verlag, Heidelberg, 1999."},{"key":"23_CR2","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/BF01049415","volume":"4","author":"P. Blackburn","year":"1995","unstructured":"P. Blackburn and J. Seligman. Hybrid languages. Journal of Logic, Language and Information, 4:251\u2013272, 1995.","journal-title":"Journal of Logic, Language and Information"},{"key":"23_CR3","volume-title":"Advances in Modal Logic\u201996","author":"P. Blackburn","year":"1997","unstructured":"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\u201996. CSLI Publications, Stanford, California, 1997."},{"key":"23_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/3-540-49019-1_10","volume-title":"Proceedings of Foundations of Software Science and Computation Structures (FOSSACS\u201999)","author":"F.S. Boer de","year":"1999","unstructured":"F.S. de Boer. A WP-calculus for OO. In Proceedings of Foundations of Software Science and Computation Structures (FOSSACS\u201999), volume 1578 of Lecture Notes in Computer Science, pages 135\u2013149, 1999."},{"key":"23_CR5","doi-asserted-by":"crossref","unstructured":"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.","DOI":"10.1093\/logcom\/11.5.701"},{"key":"23_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5292-1","volume-title":"First-Order Modal Logic","author":"M. Fitting","year":"1998","unstructured":"M. Fitting and R.L. Mendelsohn. First-Order Modal Logic. Kluwer Academic Publishers, Dordrecht, The Netherlands, 1998."},{"key":"23_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/BFb0053587","volume-title":"Fundamental Approaches to Software Engineering, Proceedings of FASE\u201998","author":"A. Hamie","year":"1998","unstructured":"A. Hamie, J. Howse, and S. Kent. Navigation expressions in object-oriented modelling. In Fundamental Approaches to Software Engineering, Proceedings of FASE\u201998, volume 1382 of Lecture Notes in Computer Science, pages 123\u2013137. Springer-Verlag, Heidelberg, 1998."},{"key":"23_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-09237-4","volume-title":"First-Order Dynamic Logic","author":"D. Harel","year":"1979","unstructured":"D. Harel. First-Order Dynamic Logic, volume 68 of Lecture Notes in Computer Science. Springer-Verlag, Heidelberg, 1979."},{"key":"23_CR9","volume-title":"An Introduction to Modal Logic","author":"G.E. Hughes","year":"1968","unstructured":"G.E. Hughes and M.J. Cresswell. An Introduction to Modal Logic. Methuen and Co. Ltd, London, 1968."},{"key":"23_CR10","volume-title":"The Unified Modeling Language Reference Manual","author":"J. Rumbauch","year":"1999","unstructured":"J. Rumbauch, I. Jacobson, and G. Booch. The Unified Modeling Language Reference Manual. Addison-Wesley, Reading, Massachusetts, 1999."},{"key":"23_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/3-540-48754-9_24","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods, Proceedings of TABLEAUX\u201999","author":"M. Tzakova","year":"1999","unstructured":"M. Tzakova. Tableau calculi for hybrid logics. In N.V. Murray, editor, Automated Reasoning with Analytic Tableaux and Related Methods, Proceedings of TABLEAUX\u201999, volume 1617 of Lecture Notes in Artificial Intelligence, pages 278\u2013292. Springer-Verlag, Heidelberg, 1999."},{"key":"23_CR12","doi-asserted-by":"crossref","unstructured":"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\u2013184. AMS, 1997.","DOI":"10.1090\/dimacs\/031\/05"},{"key":"23_CR13","volume-title":"The Object Constraint Language: Precise Modeling with UML","author":"J.B. Warmer","year":"1998","unstructured":"J.B. Warmer and A.G. Kleppe. The Object Constraint Language: Precise Modeling with UML. Addison-Wesley, Reading, Massachusetts, 1998."}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44802-0_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,16]],"date-time":"2019-02-16T21:43:02Z","timestamp":1550353382000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44802-0_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540425540","9783540448020"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-44802-0_23","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}