{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T22:11:58Z","timestamp":1767651118522,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662556641"},{"type":"electronic","value":"9783662556658"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-662-55665-8_16","type":"book-chapter","created":{"date-parts":[[2017,8,23]],"date-time":"2017-08-23T11:01:02Z","timestamp":1503486062000},"page":"224-239","source":"Crossref","is-referenced-by-count":3,"title":["Axiomatizing Epistemic Logic of Friendship via Tree Sequent Calculus"],"prefix":"10.1007","author":[{"given":"Katsuhiko","family":"Sano","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,8,24]]},"reference":[{"key":"16_CR1","doi-asserted-by":"crossref","first-page":"821","DOI":"10.1016\/S1570-2464(07)80017-6","volume-title":"Handbook of Modal Logic","author":"C Areces","year":"2007","unstructured":"Areces, C., ten Cate, B.: Hybrid logics. In: Blackburn, P., van Benthem, J., Wolter, F. (eds.) Handbook of Modal Logic, pp. 821\u2013868. Elsevier, Amsterdam (2007)"},{"key":"16_CR2","unstructured":"Baltag, A., Moss, L., Solecki, S.: The logic of public announcements, common knowledge and private suspicions. In: Proceedings of TARK, pp. 43\u201356. Morgan Kaufmann Publishers, Los Altos (1989)"},{"issue":"3","key":"16_CR3","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1007\/s11229-005-5512-y","volume":"150","author":"P Blackburn","year":"2006","unstructured":"Blackburn, P.: Arthur prior and hybrid logic. Synthese 150(3), 329\u2013372 (2006)","journal-title":"Synthese"},{"key":"16_CR4","series-title":"Cambridge Tracts in Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"P Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge (2001)"},{"issue":"3","key":"16_CR5","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1007\/s11225-006-9009-6","volume":"84","author":"P Blackburn","year":"2006","unstructured":"Blackburn, P., ten Cate, B.: Pure extensions, proof rules, and hybrid axiomatics. Studia Logica 84(3), 277\u2013322 (2006)","journal-title":"Studia Logica"},{"issue":"4","key":"16_CR6","doi-asserted-by":"crossref","first-page":"625","DOI":"10.1093\/jigpal\/6.4.625","volume":"6","author":"P Blackburn","year":"1998","unstructured":"Blackburn, P., Tzakova, M.: Hybrid completeness. Logic J. IGPL 6(4), 625\u2013650 (1998)","journal-title":"Logic J. IGPL"},{"key":"16_CR7","series-title":"Applied Logic Series","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-007-0002-4","volume-title":"Hybrid Logic and Its Proof-Theory","author":"T Bra\u00fcner","year":"2011","unstructured":"Bra\u00fcner, T.: Hybrid Logic and Its Proof-Theory. Applied Logic Series, vol. 37. Springer, Dordrecht (2011). doi: 10.1007\/978-94-007-0002-4"},{"key":"16_CR8","doi-asserted-by":"crossref","first-page":"551","DOI":"10.1007\/s00153-009-0137-3","volume":"48","author":"K Br\u00fcnnler","year":"2009","unstructured":"Br\u00fcnnler, K.: Deep sequent systems for modal logic. Arch. Math. Logic 48, 551\u2013577 (2009)","journal-title":"Arch. Math. Logic"},{"issue":"3","key":"16_CR9","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1007\/s10849-016-9242-y","volume":"25","author":"Z Christoff","year":"2016","unstructured":"Christoff, Z., Hansen, J.U., Proetti, C.: Reflecting on social influence in networks. J. Logic Lang. Inf. 25(3), 299\u2013333 (2016)","journal-title":"J. Logic Lang. Inf."},{"issue":"1","key":"16_CR10","doi-asserted-by":"crossref","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. Studia Logica 69(1), 133\u2013169 (2001)","journal-title":"Studia Logica"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"Gargov, G., Passy, S., Tinchev, T.: Modal environment for Boolean speculations (preliminary report). In: Skordev, D. (ed.) Mathematical Logic and its Applications. Proceedings of the Summer School and Conference dedicated to the 80th Anniversary of Kurt G\u00f6del, pp. 253\u2013263. Plenum Press, Druzhba (1987)","DOI":"10.1007\/978-1-4613-0897-3_17"},{"key":"16_CR12","first-page":"239","volume-title":"Advances in Modal Logics","author":"P Girard","year":"2012","unstructured":"Girard, P., Seligman, J., Liu, F.: General dynamic dynamic logic. In: Ghilardi, S., Bolander, T., Bra\u00fcner, T., Moss, L.S. (eds.) Advances in Modal Logics, vol. 9, pp. 239\u2013260. College Publications, London (2012)"},{"key":"16_CR13","series-title":"Lecture Notes in Computer Science","volume-title":"Axiomatising the Logic of Computer Programming","author":"R Goldblatt","year":"1982","unstructured":"Goldblatt, R.: Axiomatising the Logic of Computer Programming. LNCS, vol. 130. Springer, Heidelberg (1982)"},{"key":"16_CR14","volume-title":"Knowledge and Belief: An Introduction to the Logic of the Two Notions","author":"J Hintikka","year":"1962","unstructured":"Hintikka, J.: Knowledge and Belief: An Introduction to the Logic of the Two Notions. Cornell University Press, Cornell (1962)"},{"key":"16_CR15","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1007\/BF01053026","volume":"53","author":"R Kashima","year":"1994","unstructured":"Kashima, R.: Cut-free sequent calculi for some tense logics. Studia Logica 53, 119\u2013135 (1994)","journal-title":"Studia Logica"},{"key":"16_CR16","doi-asserted-by":"crossref","first-page":"507","DOI":"10.1007\/s10992-005-2267-3","volume":"34","author":"S Negri","year":"2005","unstructured":"Negri, S.: Proof analysis in modal logic. J. Philos. Logic 34, 507\u2013544 (2005)","journal-title":"J. Philos. Logic"},{"key":"16_CR17","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511527340","volume-title":"Structural Proof Theory","author":"S Negri","year":"2001","unstructured":"Negri, S., Von Plato, J.: Structural Proof Theory. Cambridge University Press, Cambridge (2001)"},{"key":"16_CR18","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139003513","volume-title":"Proof Analysis","author":"S Negri","year":"2011","unstructured":"Negri, S., Von Plato, J.: Proof Analysis. Cambridge University Press, Cambridge (2011)"},{"key":"16_CR19","unstructured":"Plaza, J.A.: Logics of public communications. In: Emrich, M.L., Pfeifer, M.S., Hadzikadic, M., Ras, Z.W. (eds.) Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems, pp. 201\u2013216 (1989)"},{"issue":"4","key":"16_CR20","doi-asserted-by":"crossref","first-page":"459","DOI":"10.1016\/j.jal.2010.08.006","volume":"8","author":"K Sano","year":"2010","unstructured":"Sano, K.: Axiomatizing hybrid products: How can we reason many-dimensionally in hybrid logic? J. Appl. Logic 8(4), 459\u2013474 (2010)","journal-title":"J. Appl. Logic"},{"issue":"5","key":"16_CR21","doi-asserted-by":"crossref","first-page":"671","DOI":"10.1093\/logcom\/11.5.671","volume":"11","author":"J Seligman","year":"2001","unstructured":"Seligman, J.: Internalization: the case of hybrid logics. J. Logic Comput. 11(5), 671\u2013689 (2001)","journal-title":"J. Logic Comput."},{"key":"16_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1007\/978-3-642-18026-2_15","volume-title":"Logic and Its Applications","author":"J Seligman","year":"2011","unstructured":"Seligman, J., Liu, F., Girard, P.: Logic in the community. In: Banerjee, M., Seth, A. (eds.) ICLA 2011. LNCS, vol. 6521, pp. 178\u2013188. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-18026-2_15"},{"key":"16_CR23","unstructured":"Seligman, J., Liu, F., Girard, P.: Facebook and the epistemic logic of friendship. In: Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), Chennai, India, pp. 230\u2013238, 7\u20139 January 2013"},{"key":"16_CR24","series-title":"Studies in Logic","first-page":"445","volume-title":"Logic Across the University: Foundations and Applications","author":"J Seligman","year":"2013","unstructured":"Seligman, J., Liu, F., Girard, P.: Knowledge, friendship and social announcement. In: van Benthem, J., Liu, F. (eds.) Logic Across the University: Foundations and Applications. Studies in Logic, vol. 47, pp. 445\u2013469. College Publications, London (2013)"}],"container-title":["Lecture Notes in Computer Science","Logic, Rationality, and Interaction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-55665-8_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,2]],"date-time":"2019-10-02T14:27:14Z","timestamp":1570026434000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-55665-8_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783662556641","9783662556658"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-55665-8_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}