{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T11:30:08Z","timestamp":1726054208677},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662602911"},{"type":"electronic","value":"9783662602928"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-662-60292-8_18","type":"book-chapter","created":{"date-parts":[[2019,10,8]],"date-time":"2019-10-08T23:09:52Z","timestamp":1570576192000},"page":"244-258","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Term-Sequence-Modal Logics"],"prefix":"10.1007","author":[{"given":"Takahiro","family":"Sawasaki","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Katsuhiko","family":"Sano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tomoyuki","family":"Yamada","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,10,9]]},"reference":[{"key":"18_CR1","volume-title":"Modal Logic for Open Minds","author":"J Benthem van","year":"2010","unstructured":"van Benthem, J.: Modal Logic for Open Minds. CSLI Publications, Stanford (2010)"},{"key":"18_CR2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"P Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001). Fourth Printing with Corrections 2010"},{"issue":"3","key":"18_CR3","doi-asserted-by":"publisher","first-page":"132","DOI":"10.2307\/2271621","volume":"29","author":"HN Castaneda","year":"1964","unstructured":"Castaneda, H.N.: Review: Jaakko Hintikka, Knowledge and belief. An introduction to the logic of the two notions. J. Symbolic Log. 29(3), 132\u2013134 (1964)","journal-title":"J. Symbolic Log."},{"key":"18_CR4","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1023\/A:1013842612702","volume":"69","author":"M Fitting","year":"2001","unstructured":"Fitting, M., Thalmann, L., Voronkov, A.: Term-modal logics. Stud. Logica. 69, 133\u2013169 (2001)","journal-title":"Stud. Logica."},{"key":"18_CR5","series-title":"Intensional Logic and Logical Grammar","volume-title":"Logic, Language, and Meaning","author":"LTF Gamut","year":"1991","unstructured":"Gamut, L.T.F.: Logic, Language, and Meaning. Intensional Logic and Logical Grammar, vol. 2. The University of Chicago Press, Chicago (1991)"},{"key":"18_CR6","volume-title":"Knowledge and Belief","author":"J Hintikka","year":"1962","unstructured":"Hintikka, J.: Knowledge and Belief. Cornell University Press, Ithaca (1962)"},{"key":"18_CR7","volume-title":"A New Introduction to Modal Logic","author":"GE Hughes","year":"2001","unstructured":"Hughes, G.E., Cresswell, M.J.: A New Introduction to Modal Logic. Routledge, New York (2001)"},{"key":"18_CR8","volume-title":"Mathematical Logic","author":"R Kashima","year":"2009","unstructured":"Kashima, R.: Mathematical Logic. Asakura Publishing Co. Ltd., Osaka (2009). (in Japanese)"},{"key":"18_CR9","unstructured":"Kooi, B.: Dynamic term-modal logic. In: van Benthem, J., Ju, S., Veltman, F. (eds.) A Meeting of the Minds. Proceedings of the Workshop on Logic, Rationality and Interaction, Beijing, 2007, Texts in Computing Computer Science 8, pp. 173\u2013185. College Publications (2008)"},{"key":"18_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10992-007-9049-z","volume":"37","author":"B Kooi","year":"2008","unstructured":"Kooi, B., Tamminga, A.: Moral conflicts between groups of agents. J. Philos. Log. 37, 1\u201321 (2008)","journal-title":"J. Philos. Log."},{"issue":"4","key":"18_CR11","first-page":"235","volume":"12","author":"S Maehara","year":"1961","unstructured":"Maehara, S.: On interpolation theorem of Craig. Sugaku 12(4), 235\u2013237 (1961). (in Japanese)","journal-title":"Sugaku"},{"key":"18_CR12","doi-asserted-by":"publisher","first-page":"357","DOI":"10.2969\/jmsj\/01340357","volume":"13","author":"S Maehara","year":"1961","unstructured":"Maehara, S., Takeuti, G.: A formal system of first-order predicate calculus with infinitely long expressions. J. Math. Soc. Jpn. 13, 357\u2013370 (1961)","journal-title":"J. Math. Soc. Jpn."},{"issue":"2","key":"18_CR13","first-page":"113","volume":"9","author":"M Ohnishi","year":"1957","unstructured":"Ohnishi, M., Matsumoto, K.: Gentzen method in modal calculi. Osaka Math. J. 9(2), 113\u2013130 (1957)","journal-title":"Osaka Math. J."},{"key":"18_CR14","first-page":"207","volume-title":"Mathematical Society of Japan Memoirs","author":"Hiroakira Ono","year":"1998","unstructured":"Ono, H.: Proof-theoretic methods in nonclassical logic - an introduction. In: Theories of Types and Proofs, pp. 207\u2013254 (1998)"},{"issue":"1","key":"18_CR15","doi-asserted-by":"publisher","first-page":"169","DOI":"10.2307\/2273798","volume":"50","author":"H Ono","year":"1985","unstructured":"Ono, H., Komori, Y.: Logics without the contraction rule. J. Symbolic Log. 50(1), 169\u2013201 (1985)","journal-title":"J. Symbolic Log."},{"key":"18_CR16","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/978-3-030-01713-2_11","volume-title":"Multi-Agent Systems and Agreement Technologies","author":"E Orlandelli","year":"2018","unstructured":"Orlandelli, E., Corsi, G.: Decidable term-modal logics. In: Belardinelli, F., Argente, E. (eds.) EUMAS\/AT 2017. LNCS (LNAI), vol. 10767, pp. 147\u2013162. Springer, Cham (2018). \n                    https:\/\/doi.org\/10.1007\/978-3-030-01713-2_11"},{"key":"18_CR17","unstructured":"Padmanabha, A., Ramanujam, R., Wang, Y.: Bundled fragments of first-order modal logic: (un)decidability. In: Ganguly, S., Pandya, P. (eds.) 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2018, Schloss Dagstuhl, Ahmedabad, India, pp. 43:1\u201343:20, December 2018"},{"key":"18_CR18","doi-asserted-by":"publisher","DOI":"10.1093\/0199262543.001.0001","volume-title":"Towards Non-Being: The Logic and Metaphysics of Intentionality","author":"G Priest","year":"2005","unstructured":"Priest, G.: Towards Non-Being: The Logic and Metaphysics of Intentionality. Oxford University Press, Oxford (2005)"},{"key":"18_CR19","unstructured":"Rendsvig, R.K.: Epistemic term-modal logic. In: Slavkovik, M. (ed.) Proceedings of the 15th Student Session of the European Summer School in Logic, Language and Information, pp. 37\u201346 (2010)"},{"key":"18_CR20","unstructured":"Seligman, J.: Common sense modal predicate logic. In: Non-classical Modal and Predicate Logics: The 9th International Workshop on Logic and Cognition, Guangzhou, China, 4 December 2017, Presentation 2017"},{"key":"18_CR21","unstructured":"Thalmann, L.: Term-modal logic and quantifier-free dynamic assignment logic. Ph.D. thesis, Uppsala University (2000)"},{"key":"18_CR22","first-page":"611","volume-title":"Advances in Modal Logic","author":"Y Wang","year":"2018","unstructured":"Wang, Y., Seligman, J.: When names are not commonly known: epistemic logic with assignments. In: Bezhanisshvili, G., D\u2019Agostino, G., Metcalfe, G., Studer, T. (eds.) Advances in Modal Logic, vol. 12, pp. 611\u2013628. College Publications, London (2018)"},{"key":"18_CR23","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/978-3-540-69902-6_13","volume-title":"New Frontiers in Artificial Intelligence","author":"T Yamada","year":"2007","unstructured":"Yamada, T.: Logical dynamics of commands and obligations. In: Washio, T., Satoh, K., Takeda, H., Inokuchi, A. (eds.) JSAI 2006. LNCS (LNAI), vol. 4384, pp. 133\u2013146. Springer, Heidelberg (2007). \n                    https:\/\/doi.org\/10.1007\/978-3-540-69902-6_13"},{"key":"18_CR24","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/978-3-540-78197-4_11","volume-title":"New Frontiers in Artificial Intelligence","author":"T Yamada","year":"2008","unstructured":"Yamada, T.: Acts of promising in dynamified deontic logic. In: Satoh, K., Inokuchi, A., Nagao, K., Kawamura, T. (eds.) JSAI 2007. LNCS (LNAI), vol. 4914, pp. 95\u2013108. Springer, Heidelberg (2008). \n                    https:\/\/doi.org\/10.1007\/978-3-540-78197-4_11"},{"issue":"3\u20134","key":"18_CR25","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1111\/phil.12134","volume":"47","author":"T Yamada","year":"2016","unstructured":"Yamada, T.: Assertions and commitments. Philos. Forum 47(3\u20134), 475\u2013493 (2016)","journal-title":"Philos. Forum"}],"container-title":["Lecture Notes in Computer Science","Logic, Rationality, and Interaction"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-60292-8_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,8]],"date-time":"2019-10-08T23:11:22Z","timestamp":1570576282000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-60292-8_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783662602911","9783662602928"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-60292-8_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"9 October 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"LORI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Logic, Rationality and Interaction","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Chongqing","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 October 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 October 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"lori2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/golori.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}