{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,1]],"date-time":"2025-04-01T04:46:29Z","timestamp":1743482789743},"publisher-location":"Berlin, Heidelberg","reference-count":15,"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_24","type":"book-chapter","created":{"date-parts":[[2019,10,8]],"date-time":"2019-10-08T23:09:52Z","timestamp":1570576192000},"page":"326-339","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["First-Order Intuitionistic Epistemic Logic"],"prefix":"10.1007","author":[{"given":"Youan","family":"Su","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Katsuhiko","family":"Sano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,10,9]]},"reference":[{"key":"24_CR1","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1017\/S1755020315000374","volume":"9","author":"S Artemov","year":"2016","unstructured":"Artemov, S., Protopopescu, T.: Intuitionistic epistemic logic. Rev. Symbolic Logic 9, 266\u2013298 (2016). \n                    https:\/\/doi.org\/10.1017\/S1755020315000374","journal-title":"Rev. Symbolic Logic"},{"issue":"2","key":"24_CR2","doi-asserted-by":"publisher","first-page":"135","DOI":"10.2307\/2271594","volume":"28","author":"F Fitch","year":"1963","unstructured":"Fitch, F.: A logical analysis of some value concepts. J. Symbolic Logic 28(2), 135\u2013142 (1963). \n                    https:\/\/doi.org\/10.2307\/2271594","journal-title":"J. Symbolic Logic"},{"key":"24_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/11417170_17","volume-title":"Typed Lambda Calculi and Applications","author":"O Hermant","year":"2005","unstructured":"Hermant, O.: Semantic cut elimination in the intuitionistic sequent calculus. In: Urzyczyn, P. (ed.) TLCA 2005. LNCS, vol. 3461, pp. 221\u2013233. Springer, Heidelberg (2005). \n                    https:\/\/doi.org\/10.1007\/11417170_17"},{"key":"24_CR4","volume-title":"Knowledge and Belief","author":"J Hintikka","year":"2005","unstructured":"Hintikka, J.: Knowledge and Belief. College Publications, London (2005)"},{"key":"24_CR5","unstructured":"J\u00e4ger, G., Marti, M.: A canonical model construction for intuitionistic distributed knowledge. In: Advances in Modal Logic, pp. 420\u2013434 (2016)"},{"key":"24_CR6","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1016\/j.jal.2016.04.004","volume":"18","author":"G J\u00e4ger","year":"2016","unstructured":"J\u00e4ger, G., Marti, M.: Intuitionistic common knowledge or belief. J. Appl. logic 18, 150\u2013163 (2016)","journal-title":"J. Appl. logic"},{"key":"24_CR7","volume-title":"Mathematical logic","author":"R Kashima","year":"2009","unstructured":"Kashima, R.: Mathematical logic. Asakura Publishing Co. Ltd., Tokyo (2009). (in Japanese)"},{"key":"24_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/978-3-319-27683-0_14","volume-title":"Logical Foundations of Computer Science","author":"VN Krupski","year":"2016","unstructured":"Krupski, V.N., Yatmanov, A.: Sequent calculus for intuitionistic epistemic logic IEL. In: Artemov, S., Nerode, A. (eds.) LFCS 2016. LNCS, vol. 9537, pp. 187\u2013201. Springer, Cham (2016). \n                    https:\/\/doi.org\/10.1007\/978-3-319-27683-0_14"},{"issue":"4","key":"24_CR9","doi-asserted-by":"publisher","first-page":"963","DOI":"10.1016\/j.apal.2013.11.004","volume":"165","author":"M Ma","year":"2014","unstructured":"Ma, M., Palmigiano, A., Sadrzadeh, M.: Algebraic semantics and model completeness for intuitionistic public announcement logic. Ann. Pure Appl. Logic 165(4), 963\u2013995 (2014)","journal-title":"Ann. Pure Appl. Logic"},{"issue":"1","key":"24_CR10","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 Logic 50(1), 169\u2013201 (1985)","journal-title":"J. Symbolic Logic"},{"key":"24_CR11","doi-asserted-by":"publisher","first-page":"877","DOI":"10.1007\/s10992-011-9207-1","volume":"41","author":"C Proietti","year":"2012","unstructured":"Proietti, C.: Intuitionistic epistemic logic, Kripke models and Fitch\u2019s paradox. J. Philos. Logic 41, 877\u2013900 (2012). \n                    https:\/\/doi.org\/10.1007\/s10992-011-9207-1","journal-title":"J. Philos. Logic"},{"key":"24_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/978-3-662-48561-3_24","volume-title":"Logic, Rationality, and Interaction","author":"T Protopopescu","year":"2015","unstructured":"Protopopescu, T.: Intuitionistic epistemology and modal logics of verification. In: van der Hoek, W., Holliday, W.H., Wang, W. (eds.) LORI 2015. LNCS, vol. 9394, pp. 295\u2013307. Springer, Heidelberg (2015). \n                    https:\/\/doi.org\/10.1007\/978-3-662-48561-3_24"},{"key":"24_CR13","unstructured":"Su, Y., Sano, K.: Double negation translation in logics for knowability paradox. In: Proceedings of the 4th Asian Workshop on Philosophical Logic, pp. 3\u201315. Tsinghua University, Beijing, 20 October 2018"},{"key":"24_CR14","unstructured":"Troelstra, A., van Dalen, D.: Constructivism in Mathematics, Studies in Logic and the Foundations of Mathematics, vol.\u00a01. Elsevier Science, Amsterdam (1988)"},{"key":"24_CR15","first-page":"63","volume":"21","author":"T Williamson","year":"1992","unstructured":"Williamson, T.: On intuitionistic modal epistemic logic. J. Philos. Logic 21, 63\u201389 (1992)","journal-title":"J. Philos. Logic"}],"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_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,8]],"date-time":"2019-10-08T23:13:14Z","timestamp":1570576394000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-60292-8_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783662602911","9783662602928"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-60292-8_24","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"}}]}}