{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:59:03Z","timestamp":1725893943912},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540430353"},{"type":"electronic","value":"9783540453369"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45336-9_22","type":"book-chapter","created":{"date-parts":[[2007,8,29]],"date-time":"2007-08-29T02:19:17Z","timestamp":1188353957000},"page":"182-190","source":"Crossref","is-referenced-by-count":1,"title":["Decentralized Control of Multi-agent Systems Based on Modal Logics and Extended Higher Order Petri Nets"],"prefix":"10.1007","author":[{"given":"Osamu","family":"Katai","sequence":"first","affiliation":[]},{"given":"Kentaro","family":"Toda","sequence":"additional","affiliation":[]},{"given":"Hiroshi","family":"Kawakami","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,12,18]]},"reference":[{"key":"22_CR1","unstructured":"M. P. Singh(1994): Multiagent Systems, Springer-Verlag"},{"key":"22_CR2","unstructured":"T. Ishida(1997): Real-Time Search for LearningAutonomousAgents, Kluwer Academic Publishers"},{"key":"22_CR3","unstructured":"G. Weiss(ed.)(2000): Multiagent Systems, The MIT Press"},{"key":"22_CR4","unstructured":"J. L. Peterson(1981): Petri Net Theory and the Modeling of Systems, Prentce Hall"},{"key":"22_CR5","unstructured":"G. H. Hughes and M. J. Cresswell(1971): An Introduction of Modal Logic, Methuen"},{"key":"22_CR6","unstructured":"A. N. Prior(1968): Papers on Time and Tense, Oxford Univ. Press"},{"key":"22_CR7","doi-asserted-by":"crossref","unstructured":"N. Rescher and A. Urquhart(1971): Temporal Logic, Springer-Verlag","DOI":"10.1007\/978-3-7091-7664-1"},{"key":"22_CR8","volume-title":"An Essay in Modal Logic","author":"G. H. Wright von","year":"1951","unstructured":"G. H. von Wright(1951): An Essay in Modal Logic, North-Holland Pub. Co., Amsterdam"},{"issue":"3","key":"22_CR9","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1305\/ndjfl\/1093891406","volume":"15","author":"L. F. Goble","year":"1974","unstructured":"L. F. Goble(1974): Gentzen Systems for Modal Logic, Notre Dame J. of Formal Logic,Vol.15,No.3, pp.455\u2013461","journal-title":"Notre Dame J. of Formal Logic"},{"key":"22_CR10","doi-asserted-by":"crossref","unstructured":"R. Hilpinen(ed.)(1981): Deontic Logic: Introductory and Systematic Readings, Synthese Library, Vol. 33, D. Reidel","DOI":"10.1007\/978-94-009-8484-4"},{"key":"22_CR11","unstructured":"O. Katai(1981): Completeness and Expressive Power of Nexttime Temporal Logical System by Semantic Tableau Method, Rapport de Recherche INRIA, No.109"},{"key":"22_CR12","unstructured":"F. Harary et al.(1965):Structural Models; An Introduction to the Theory of Directed Graphs, J.Wiley"}],"container-title":["Lecture Notes in Computer Science","Active Media Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45336-9_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,23]],"date-time":"2019-02-23T06:07:43Z","timestamp":1550902063000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45336-9_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540430353","9783540453369"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-45336-9_22","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}