{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:26:57Z","timestamp":1725488817393},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540411314"},{"type":"electronic","value":"9783540400066"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-40006-0_19","type":"book-chapter","created":{"date-parts":[[2007,8,11]],"date-time":"2007-08-11T09:41:54Z","timestamp":1186825314000},"page":"269-283","source":"Crossref","is-referenced-by-count":0,"title":["A Modal Logic for Network Topologies"],"prefix":"10.1007","author":[{"given":"Rogier M.","family":"van Eijk","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank S.","family":"de Boer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wiebe","family":"van der Hoek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John-Jules Ch.","family":"Meyer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2000,9,19]]},"reference":[{"key":"19_CR1","unstructured":"H. Andr\u00e9ka, J. van Benthem, and I. N\u00e9meti. Modal languages and bounded fragments of predicate logic. ILLC Research Report ML-1996-03, Institute for Logic, Language and Computation, 1996."},{"key":"19_CR2","series-title":"Lect Notes Comput Sci","volume-title":"A road-map on complexity for hybrid logics","author":"C. Areces","year":"1999","unstructured":"C. Areces, P. Blackburn, and M. Marx. A road-map on complexity for hybrid logics. In Proceedings of Annual Conference of the European Association for Computer Science Logic (CSL\u201999), volume 1683 of Lecture Notes in Computer Science. Springer-Verlag, 1999."},{"key":"19_CR3","unstructured":"J.F.A.K van Benthem. Modal Logic and Classical Logic. Bibliopolis, Napels, 1983."},{"key":"19_CR4","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 Informa-tion, 4:251\u2013272, 1995.","journal-title":"Journal of Logic, Language and Informa-tion"},{"key":"19_CR5","first-page":"218","volume":"1757","author":"R.M. Eijk de","year":"2000","unstructured":"R.M. van Eijk, F.S. de Boer, W. van der Hoek, and J.-J. Ch. Meyer. Open multi-agent sys-tems: Agent communication and integration. In N.R. Jennings and Y. Lesp\u00e8rance, editors, Intelligent Agents VI, Proceedings of 6th International Workshop on Agent Theories, Archi-tectures, and Languages (ATAL\u201999), volume 1757 of Lecture Notes in Artificial Intelligence,pages 218\u2013232. Springer-Verlag,Heidelberg, 2000.","journal-title":"Open multi-agent sys-tems: Agent communication and integration"},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"M. Fitting and R.L. Mendelsohn. First-Order Modal Logic. Kluwer Academic Publishers, Dordrecht, The Netherlands, 1998.","DOI":"10.1007\/978-94-011-5292-1"},{"key":"19_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"222","DOI":"10.1007\/BFb0084794","volume-title":"Propositional temporal logics and equivalences","author":"U. Goltz","year":"1992","unstructured":"U. Goltz, R. Kuiper, and W. Penczek. Propositional temporal logics and equivalences. In Proceedings of Concur\u201992, volume 630 of Lecture Notes in Computer Science, pages 222\u2013236, Berlin, 1992. Springer-Verlag."},{"issue":"4","key":"19_CR8","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1093\/logcom\/3.4.345","volume":"3","author":"A.J. Grove","year":"1993","unstructured":"A.J. Grove and J.Y. Halpern. Naming and identity in epistemic logics. part I: The proposi-tional case. Journal of Logic and Computation, 3(4):345\u2013378, 1993.","journal-title":"Journal of Logic and Computation"},{"key":"19_CR9","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1145\/2455.2460","volume":"32","author":"M. Hennessy","year":"1985","unstructured":"M. Hennessy and R. Milner. Algebraic laws for nondeterminism and concurrency. Journal of Association of Computer Machinery, 32:137\u2013162, 1985.","journal-title":"Journal of Association of Computer Machinery"},{"issue":"1","key":"19_CR10","first-page":"81","volume":"2","author":"W. Hoek van der","year":"1992","unstructured":"W. van der Hoek. On the semantics of graded modalities. Journal of Applied Non Classical Logics, 2(1):81\u2013123, 1992.","journal-title":"Journal of Applied Non Classical Logics"},{"key":"19_CR11","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":"19_CR12","unstructured":"J.-J. Ch. Meyer and W. van der Hoek. Epistemic Logic for Computer Science and Artificial Intelligence, volume 41 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1995."},{"key":"19_CR13","first-page":"162","volume":"1757","author":"O. Shehory","year":"2000","unstructured":"O. Shehory. A scalable agent location mechanism. InIntelligent Agents VI-Proceedings of 6th International Workshop on Agent Theories, Architectures, and Languages (ATAL\u201999),volume 1757 of Lecture Notes in Artificial Intelligence, pages 162\u2013172. Springer-Verlag, Heidelberg, 2000.","journal-title":"A scalable agent location mechanism"},{"issue":"2","key":"19_CR14","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1017\/S0269888900008122","volume":"10","author":"M. Wooldridge","year":"1995","unstructured":"M. Wooldridge and N. Jennings. Intelligent agents: theory and practice. The Knowledge Engineering Review, 10(2):115\u2013152, 1995.","journal-title":"The Knowledge Engineering Review"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-40006-0_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,23]],"date-time":"2019-02-23T06:39:12Z","timestamp":1550903952000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-40006-0_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540411314","9783540400066"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-40006-0_19","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}