{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,14]],"date-time":"2025-02-14T05:15:32Z","timestamp":1739510132903,"version":"3.37.0"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642052521"},{"type":"electronic","value":"9783642052538"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-05253-8_52","type":"book-chapter","created":{"date-parts":[[2009,11,20]],"date-time":"2009-11-20T16:31:05Z","timestamp":1258734665000},"page":"469-478","source":"Crossref","is-referenced-by-count":3,"title":["Formal Analysis of an Airplane Accident in $N{\\it \\Sigma}$ -Labeled Calculus"],"prefix":"10.1007","author":[{"given":"Tetsuya","family":"Mizutani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shigeru","family":"Igarashi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yasuwo","family":"Ikeda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Masayuki","family":"Shio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"52_CR1","unstructured":"Avion Safety Network (ed.): ASN Aircraft accident McDonnell Douglas DC-10-40 JA8546 off Shizuoka Prefecture (2005), http:\/\/aviation-safety.net\/database\/record.php?id=20010131-2"},{"key":"52_CR2","unstructured":"Avion Safety Network (ed.): ASN Aircraft accident Tupolev 154M RA-85816 \u00dcberlingen (2007), http:\/\/aviation-safety.net\/database\/record.php?id=20020701-0"},{"key":"52_CR3","doi-asserted-by":"publisher","first-page":"513","DOI":"10.1007\/s00165-007-0035-6","volume":"19","author":"P. Curzon","year":"2007","unstructured":"Curzon, P., Ruksenas, R., Blandford, A.: An Approach to Formal Verification of Human-Computer Interaction. Formal Aspect of Computing\u00a019, 513\u2013550 (2007)","journal-title":"Formal Aspect of Computing"},{"key":"52_CR4","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1080\/00207170600587531","volume":"79","author":"W. Damm","year":"2006","unstructured":"Damm, W., Hungar, H., Olderog, E.-R.: Verification of Cooperating Traffic Agents. International Journal of Control\u00a079, 395\u2013421 (2006)","journal-title":"International Journal of Control"},{"key":"52_CR5","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning About Knowledge","author":"R. Fagin","year":"1995","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. The MIT Press, Cambridge (1995)"},{"key":"#cr-split#-52_CR6.1","doi-asserted-by":"crossref","unstructured":"Gentzen, G.: Untersuchungen ??ber das logische Schlie??en. Mathematische Zeitschrift??39, 176???210, 405???431 (1935);","DOI":"10.1007\/BF01201363"},{"key":"#cr-split#-52_CR6.2","doi-asserted-by":"crossref","unstructured":"Investigations into Logical Deduction. In: Szabo, M.E. (ed.) The Collected Papers of Gerhard Gentzen, Series of Studies in Logic and the Foundations of Mathematics, pp. 68???131. North-Holland Publ. Co., Amsterdam (1969)","DOI":"10.1016\/S0049-237X(08)70822-X"},{"key":"52_CR7","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1016\/0022-0000(89)90039-1","volume":"38","author":"J.Y. Halpern","year":"1989","unstructured":"Halpern, J.Y., Vardi, M.Y.: The Complexity of Reasoning about Knowledge and Time. I. Lower Bounds. Journal of Computer and System Sciences\u00a038, 195\u2013237 (1989)","journal-title":"Journal of Computer and System Sciences"},{"key":"52_CR8","first-page":"12","volume":"64","author":"S. Igarashi","year":"2003","unstructured":"Igarashi, S., Mizutani, T., Ikeda, Y., Shio, M.: Tense Arithmetic II: @-Calculus as an Adaptation for Formal Number Theory. Tensor, N. S.\u00a064, 12\u201333 (2003)","journal-title":"Tensor, N. S."},{"key":"52_CR9","series-title":"LNCS (LNAI)","first-page":"469","volume-title":"AICI 2009","author":"T. Mizutani","year":"2009","unstructured":"Mizutani, T., Igarashi, S., Ikeda, Y., Shio, M.: Formal Analysis of an Airplane Accident in N\u03a3-labeled Calculus. In: Deng, H., Wang, L., Wang, F.L., Lei, J. (eds.) AICI 2009. LNCS (LNAI), vol.\u00a05855, pp. 469\u2013478. Springer, Heidelberg (2009)"},{"key":"52_CR10","unstructured":"Investigating Committee for Avion and Traffic Accident (ed.): Report of the Near Miss Accident by JA8904 belonging to Japan Airlines with JA8546 belonging to the Same Company (2002) (in Japanese)"},{"key":"52_CR11","doi-asserted-by":"crossref","unstructured":"McCarthy, J., Sato, M., Hayashi, T., Igarashi, S.: On the Model Theory of Knowledge. Stanford University Technical Report, STN-CS-78-657 (1979)","DOI":"10.21236\/ADA065502"},{"key":"52_CR12","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/s11704-008-0010-2","volume":"2","author":"T. Mizutani","year":"2008","unstructured":"Mizutani, T., Igarashi, S., Shio, M., Ikeda, Y.: Human Factors in Continuous Time-Concerned Cooperative Systems Represented by N\u03a3-labeled Calculus. Frontiers of Computer Science in China\u00a02, 22\u201328 (2008)","journal-title":"Frontiers of Computer Science in China"},{"key":"52_CR13","unstructured":"Presburger, M.: \u00dcber die Vollst\u00e4ndigkit eines gewissen Systems der Arithmetik ganzer Zahlen in welchem die Additon als einzige Operation hervortritt. In: Comptes-Rendus du Congres des Mathematicians des Pays Slaves, pp. 92\u2013101 (1930)"},{"key":"52_CR14","volume-title":"Mathematical Logic","author":"J.R. Shoenfield","year":"1967","unstructured":"Shoenfield, J.R.: Mathematical Logic. Addison-Wesley Publishing Company, Reading (1967)"}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence and Computational Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-05253-8_52.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,13]],"date-time":"2025-02-13T10:20:48Z","timestamp":1739442048000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-05253-8_52"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642052521","9783642052538"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-05253-8_52","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}