{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,11]],"date-time":"2025-01-11T05:36:42Z","timestamp":1736573802832,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540397281"},{"type":"electronic","value":"9783540397304"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11856290_5","type":"book-chapter","created":{"date-parts":[[2006,9,19]],"date-time":"2006-09-19T07:36:09Z","timestamp":1158651369000},"page":"25-39","source":"Crossref","is-referenced-by-count":4,"title":["Labeled @-Calculus: Formalism for Time-Concerned Human Factors"],"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":"5_CR1","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/978-3-540-30227-8_11","volume-title":"Logics in Artificial Intelligence","author":"N. Alechina","year":"2004","unstructured":"Alechina, N., Logan, B., Whitsey, M.: Modelling Communicating Agents in Timed Reasoning Logics. In: Alferes, J.J., Leite, J.A. (eds.) JELIA 2004. LNCS (LNAI), vol.\u00a03229, pp. 95\u2013107. Springer, Heidelberg (2004)"},{"key":"5_CR2","unstructured":"Aviation Safety Network: Aircraft accident description McDonnell Douglas DC-10-40 JA8546 - off Shizuoka Prefecture (2001), http:\/\/aviation-safety.net\/database\/record.php?id=20010131-2"},{"key":"5_CR3","first-page":"1","volume":"17","author":"B. Bennett","year":"2002","unstructured":"Bennett, B., Dixon, C., Fisher, M., Hustadt, U., Franconi, E., Horrocks, I., de Rijke, M.: Combinations of Modal Logics. AI Review\u00a017, 1\u201320 (2002)","journal-title":"AI Review"},{"key":"5_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":"5_CR5","unstructured":"Bereaved and Counselors of Shigaraki Accident (ed.): Shigaraki Kougen Railway Accident, Gendaijinbunsha (in Japanese) (2005)"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Dixon, C., Nalon, C., Fisher, M.: Tableaux for Temporal Logics of Knowledge: Synchronous Systems of Perfect Recall or No Learning. In: The Proceedings of TIME-ICTL 2003, pp. 62\u201371 (2003)","DOI":"10.1109\/TIME.2003.1214881"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Dixon, C., Gago, M.-C.F., Fisher, M., van der Hoek, W.: Using Temporal Logics of Knowledge in the Formal Verification of Security Protocols. In: Proceedings of TIME 2004, pp. 148\u2013151 (2004)","DOI":"10.1109\/TIME.2004.1314432"},{"key":"5_CR8","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#-5_CR9.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#-5_CR9.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":"5_CR10","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":"5_CR11","unstructured":"Hiraga, R., Igarashi, S.: Psyche: Computer Music Project. In: International Computer Music Conference, University of Tsukuba, pp. 297\u2013300 (1997)"},{"key":"5_CR12","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/BF00288746","volume":"4","author":"S. Igarashi","year":"1975","unstructured":"Igarashi, S., London, R., Luckhum, D.: Automatic Program Verification I: Logical Basis and its Application. Acta Informatica\u00a04, 145\u2013182 (1975)","journal-title":"Acta Informatica"},{"key":"5_CR13","first-page":"769","volume-title":"Information Processing","author":"S. Igarashi","year":"1983","unstructured":"Igarashi, S.: The \u03bd-Conversion and an Analytic Semantics. In: Mason, R.E.A. (ed.) Information Processing, vol.\u00a083, pp. 769\u2013774. Elsevier Sci. Publ. B. V., Amsterdam (1983)"},{"key":"5_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1007\/BFb0027812","volume-title":"Concurrency and Parallelism, Programming, Networking, and Security","author":"S. Igarashi","year":"1996","unstructured":"Igarashi, S., Mizutani, T., Shirogane, T., Shio, M.: Formal Analysis for Continuous Systems Controlled by Programs. In: Jaffar, J., Yap, R.H.C. (eds.) ASIAN 1996. LNCS, vol.\u00a01179, pp. 347\u2013348. Springer, Heidelberg (1996)"},{"key":"5_CR15","first-page":"132","volume":"59","author":"S. Igarashi","year":"1998","unstructured":"Igarashi, S., Shirogane, T., Shio, M., Mizutani, T.: Tense Arithmetic I: Formalization of Properties of Programs in Rational Arithmetics. Tensor, N. S.\u00a059, 132\u2013152 (1998)","journal-title":"Tensor, N. S."},{"key":"5_CR16","unstructured":"Igarashi, S.: Science of Music Expression, YAMAHA Music Media (in Japanese) (2000)"},{"key":"5_CR17","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":"5_CR18","unstructured":"Igarashi, S., Shio, M., Mizutani, T. and Ikeda, Y.: Specification and Verification of Cooperative Real-Timing Processes in @-Calculus (to appear)"},{"key":"5_CR19","unstructured":"Ikeda, Y.: Mathematics of Intellect and Sensibility: Logical System for Specifications. In: 2005 China-Japan Symposium on Advanced Science and Technology, Xiamen Univ. (2005)"},{"key":"5_CR20","unstructured":"McCarthy, J., Sato, M., Igarashi, S.: On the Model of Knowledge. Stanford Artificial Intelligence Lab. Memo. AIM-312, 1\u201311 (1977), http:\/\/www-formal.stanford.edu\/jmc\/model\/"},{"key":"5_CR21","first-page":"79","volume":"67","author":"T. Machi","year":"2006","unstructured":"Machi, T., Ikeda, Y., Tomita, K., Hosono, C., Igarashi, S.: Tense Calculus and the Refinement without \u221e. Tensor, N. S.\u00a067, 79\u201393 (2006)","journal-title":"Tensor, N. S."},{"key":"5_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1007\/3-540-63875-X_47","volume-title":"Advances in Computing Science - ASIAN\u201997","author":"T. Mizutani","year":"1997","unstructured":"Mizutani, T., Igarashi, S., Tomita, K., Shio, M.: Representation of Discretely Controlled Continuous Systems in Software-Oriented Formal Analysis. In: Shyamasundar, R.K. (ed.) ASIAN 1997. LNCS, vol.\u00a01345, pp. 110\u2013120. Springer, Heidelberg (1997)"},{"key":"5_CR23","doi-asserted-by":"crossref","unstructured":"Mizutani, T., Igarashi, S., Shio, M.: Representation of a Discretely Controlled Continuous System in Tense Arithmetic. Electr. Notes in Theor. Comp. Sci.\u00a042 (2001), http:\/\/www.elsevier.com\/locate\/entcs\/volume42.html","DOI":"10.1016\/S1571-0661(04)80887-9"},{"key":"5_CR24","unstructured":"Mizutani, T.: Mathematics for Intellect and Sensibility: Case Study: Formal Representation of Shigaraki Kougen Railway Accident. In: 2005 China-Japan Symposium on Advanced Science and Technology, Xiamen Univ. (2005)"},{"key":"5_CR25","volume-title":"Mathematical Logic","author":"J.R. Shoenfield","year":"1967","unstructured":"Shoenfield, J.R.: Mathematical Logic. Addison-Wesley Publishing Company, Massachusetts (1967)"},{"key":"5_CR26","doi-asserted-by":"crossref","unstructured":"van Dalen, D.: Intuitionistic logic. In: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic, 2nd edn., vol.\u00a05, pp. 1\u2013114 (2002)","DOI":"10.1007\/978-94-017-0458-8_1"}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence and Symbolic Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11856290_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,10]],"date-time":"2025-01-10T22:25:58Z","timestamp":1736547958000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11856290_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540397281","9783540397304"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/11856290_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}