{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,6]],"date-time":"2026-04-06T15:32:45Z","timestamp":1775489565978,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783662488980","type":"print"},{"value":"9783662488997","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-662-48899-7_14","type":"book-chapter","created":{"date-parts":[[2015,11,21]],"date-time":"2015-11-21T03:59:28Z","timestamp":1448078368000},"page":"187-202","source":"Crossref","is-referenced-by-count":5,"title":["A Labelled Sequent Calculus for Intuitionistic Public Announcement Logic"],"prefix":"10.1007","author":[{"given":"Shoshin","family":"Nomura","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Katsuhiko","family":"Sano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Satoshi","family":"Tojo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,11,22]]},"reference":[{"key":"14_CR1","unstructured":"Artemov, S., Protopopescu, T.: Intuitionistic epistemic logic. Computer Science Technical reports, Paper 401 (2014)"},{"key":"14_CR2","unstructured":"Balbiani, P., Demange, V., Galmiche, D.: A sequent calculus with labels for PAL. Presented in Advances in Modal Logic (2014)"},{"key":"14_CR3","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)"},{"key":"14_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/978-3-642-15675-5_7","volume-title":"Logics in Artificial Intelligence","author":"L Bozzato","year":"2010","unstructured":"Bozzato, L., Ferrari, M., Fiorentini, C., Fiorino, G.: A decidable constructive description logic. In: Janhunen, T., Niemel\u00e4, I. (eds.) JELIA 2010. LNCS, vol. 6341, pp. 51\u201363. Springer, Heidelberg (2010)"},{"key":"14_CR5","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1305\/ndjfl\/1093958154","volume":"6","author":"RA Bull","year":"1965","unstructured":"Bull, R.A.: A modal extension of intuitionistic logic. Notre Dame J. Formal Logic 6, 142\u2013146 (1965)","journal-title":"Notre Dame J. Formal Logic"},{"key":"14_CR6","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/j.entcs.2011.06.010","volume":"273","author":"V Paiva de","year":"2011","unstructured":"de Paiva, V., Haeusler, E.H., Rademaker, A.: Constructive description logics hybrid-style. Electron. Notes Theo. Comput. Sci. 273, 21\u201331 (2011)","journal-title":"Electron. Notes Theo. Comput. Sci."},{"key":"14_CR7","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/s00153-011-0254-7","volume":"51","author":"R Dyckhoff","year":"2012","unstructured":"Dyckhoff, R., Negri, S.: Proof analysis in intermediate logics. Arch. Math. Logic 51, 71\u201392 (2012)","journal-title":"Arch. Math. Logic"},{"key":"14_CR8","doi-asserted-by":"publisher","first-page":"687","DOI":"10.1305\/ndjfl\/1093888520","volume":"19","author":"GF Servi","year":"1978","unstructured":"Servi, G.F.: The finite model property for MIPQ and some consequences. Notre Dame J. Formal Logic 19, 687\u2013692 (1978)","journal-title":"Notre Dame J. Formal Logic"},{"key":"14_CR9","first-page":"113","volume":"7","author":"FB Fitch","year":"1948","unstructured":"Fitch, F.B.: Intuitionistic modal logic with quantifiers. Portugaliae Mathematicae 7, 113\u2013118 (1948)","journal-title":"Portugaliae Mathematicae"},{"issue":"1","key":"14_CR10","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 logic. Studia Logic 69(1), 133\u2013169 (2001)","journal-title":"Studia Logic"},{"key":"14_CR11","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/BF01201353","volume":"39","author":"G Gentzen","year":"1934","unstructured":"Gentzen, G.: Untersuchungen \u00dcber das logische Schlie\u00dfen. I. Mathematische Zeitschrift 39, 176\u2013210 (1934)","journal-title":"I. Mathematische Zeitschrift"},{"key":"14_CR12","volume-title":"Mathematical Logic","author":"R Kashima","year":"2009","unstructured":"Kashima, R.: Mathematical Logic. Asakura Publishing Co. Ltd., Osaka (2009). (in Japanese)"},{"key":"14_CR13","unstructured":"Kooi, B.: Dynamic term-modal logic. In: A Meeting of the Minds, Proceedings of the Workshop on Logic, Rationality and Interaction, pp. 173\u2013185 (2007)"},{"key":"14_CR14","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, 963\u2013995 (2014)","journal-title":"Ann. Pure Appl. Logic"},{"key":"14_CR15","unstructured":"Maffezioli, P., Negri, S.: A Gentzen-style analysis of public announcement logic. In: Proceedings of the International Workshop on Logic and Philosophy of Knowledge, Communication and Action, pp. 293\u2013313 (2010)"},{"issue":"3","key":"14_CR16","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/s10817-009-9151-8","volume":"44","author":"M Mendler","year":"2010","unstructured":"Mendler, M., Scheele, S.: Towards constructive DL for abstraction and refinement. J. Autom. Reason. 44(3), 207\u2013243 (2010)","journal-title":"J. Autom. Reason."},{"key":"14_CR17","doi-asserted-by":"publisher","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":"14_CR18","doi-asserted-by":"publisher","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":"14_CR19","doi-asserted-by":"crossref","unstructured":"Nomura, S., Sano, K., Tojo, S.: Revising a sequent calculus for public announcement logic. In: Structural Analysis of Non-classical Logics-The Proceedings of the Second Taiwan Philosophical Logic Colloquium (TPLC-2014) (to appear)","DOI":"10.1007\/978-3-662-48357-2_7"},{"key":"14_CR20","doi-asserted-by":"publisher","first-page":"687","DOI":"10.2977\/prims\/1195189604","volume":"13","author":"H Ono","year":"1977","unstructured":"Ono, H.: On some intuitionistic modal logics. Publ. RIMS Kyoto Univ. 13, 687\u2013722 (1977)","journal-title":"Publ. RIMS Kyoto Univ."},{"issue":"1","key":"14_CR21","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 contraction rule. J. Symbolic Logic 50(1), 169\u2013201 (1985)","journal-title":"J. Symbolic Logic"},{"key":"14_CR22","unstructured":"Plaza, J.: Logic of public communications. In: Proceedings of the 4th International Symposium on Methodologies for Intellingent Systems: Poster Session Program, pp. 201\u2013216 (1989)"},{"key":"14_CR23","volume-title":"Time and Modality","author":"A Prior","year":"1957","unstructured":"Prior, A.: Time and Modality. Oxford University Press, Oxford (1957)"},{"key":"14_CR24","unstructured":"Simpson, A.: The proof theory and semantics of intuitionistic modal logic. Ph.D. thesis of University of Edinburgh (1994)"},{"issue":"1","key":"14_CR25","first-page":"63","volume":"21","author":"T Williamson","year":"1992","unstructured":"Williamson, T.: On intuitionistic modal epistemic logic. J. Philos. Logic 21(1), 63\u201389 (1992)","journal-title":"J. Philos. Logic"}],"container-title":["Lecture Notes in Computer Science","Logic for Programming, Artificial Intelligence, and Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-48899-7_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T19:24:06Z","timestamp":1559330646000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-48899-7_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662488980","9783662488997"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-48899-7_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]}}}