{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T12:38:37Z","timestamp":1740141517765,"version":"3.37.3"},"reference-count":22,"publisher":"Oxford University Press (OUP)","issue":"1","license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/academic.oup.com\/journals\/pages\/open_access\/funder_policies\/chorus\/standard_publication_model"}],"funder":[{"DOI":"10.13039\/501100002241","name":"Japan Science and Technology Agency","doi-asserted-by":"publisher","award":["JPMJCR1513"],"award-info":[{"award-number":["JPMJCR1513"]}],"id":[{"id":"10.13039\/501100002241","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001691","name":"Japan Society for the Promotion of Science","doi-asserted-by":"publisher","award":["19K12113","17H02258"],"award-info":[{"award-number":["19K12113","17H02258"]}],"id":[{"id":"10.13039\/501100001691","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,1,23]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>Dynamic epistemic logic is a logic that is aimed at formally expressing how a person\u2019s knowledge changes. We provide a cut-free labelled sequent calculus ($\\textbf{GDEL}$) on the background of existing studies of Hilbert-style axiomatization $\\textbf{HDEL}$ of dynamic epistemic logic and labelled calculi for public announcement logic. We first show that the $cut$ rule is admissible in $\\textbf{GDEL}$ and show that $\\textbf{GDEL}$ is sound and complete for Kripke semantics. Moreover, we show that the basis of $\\textbf{GDEL}$ is extended from modal logic K to other familiar modal logics including S5 with keeping the admissibility of cut, soundness and completeness.<\/jats:p>","DOI":"10.1093\/logcom\/exaa014","type":"journal-article","created":{"date-parts":[[2020,1,7]],"date-time":"2020-01-07T12:18:23Z","timestamp":1578399503000},"page":"321-348","source":"Crossref","is-referenced-by-count":4,"title":["A cut-free labelled sequent calculus for dynamic epistemic logic"],"prefix":"10.1093","volume":"30","author":[{"given":"Shoshin","family":"Nomura","sequence":"first","affiliation":[{"name":"National Institute of Informatics, Principles of Informatics Research Division, 2-1-2 Hitotsubashi, Chiyoda-ku, Tokyo, Japan"}]},{"given":"Hiroakira","family":"Ono","sequence":"first","affiliation":[{"name":"Japan Advanced Institute of Science and Technology, School of Information Science, 1-1 Asahidai, Nomi, Ishikawa, Japan"}]},{"given":"Katsuhiko","family":"Sano","sequence":"first","affiliation":[{"name":"Hokkaido University, Department of Philosophy and Ethics, Kita 8, Nishi 5, Kita-ku, Sapporo, Hokkaido, Japan"}]}],"member":"286","published-online":{"date-parts":[[2020,2,17]]},"reference":[{"key":"2020040702352356400_ref1","first-page":"54","article-title":"Generalized DEL-sequents","volume-title":"Logics in Artificial Intelligence\u201413th European Conference, JELIA-2012","author":"Aucher","year":"2012"},{"key":"2020040702352356400_ref2","first-page":"19","article-title":"On the complexity of dynamic epistemic logic","volume-title":"Proceedings of TARK","author":"Aucher","year":"2013"},{"key":"2020040702352356400_ref3","article-title":"A sequent calculus with labels for PAL","volume-title":"Advances in Modal Logic","author":"Balbiani","year":"2014"},{"key":"2020040702352356400_ref4","first-page":"43","article-title":"The logic of public announcements, common knowledge and private suspicions","volume-title":"Proceedings of TARK","author":"Baltag","year":"1989"},{"key":"2020040702352356400_ref5","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1016\/j.apal.2009.01.014","article-title":"Syntactic cut-elimination for common knowledge","volume":"160","author":"Br\u00fcnnler","year":"2009","journal-title":"Annals of Pure and Applied Logic"},{"key":"2020040702352356400_ref6","article-title":"A cut-free sequent calculus for algebraic dynamic epistemic logic","author":"Dyckhoff","year":"2010","journal-title":"Technical Report RR-10-11"},{"key":"2020040702352356400_ref7","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1023\/A:1008222603071","article-title":"Reasoning about information change","volume":"6","author":"Gerbrandy","year":"1997","journal-title":"Journal of Logic, Language and Information"},{"key":"2020040702352356400_ref8","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1007\/978-3-642-40948-6_11","article-title":"Dynamic epistemic logic displayed","volume-title":"Proceedings of the 4th International Workshop on Logic. Rationality and Interaction (LORI-4)","author":"Greco","year":"2013"},{"key":"2020040702352356400_ref9","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1007\/978-981-10-6355-8_8","article-title":"Cut free labelled sequent calculus for dynamic logic of relation changers","volume-title":"Philosophical Logic: Current Trends in Asia","author":"Hatano","year":"2017"},{"volume-title":"Logic-Based Analysis of Belief Change in Judgment","year":"2017","author":"Jirakunkanok","key":"2020040702352356400_ref10"},{"key":"2020040702352356400_ref11","first-page":"293","article-title":"A Gentzen-style analysis of public announcement logic","author":"Maffezioli","year":"2010","journal-title":"Proceedings of the International Workshop on Logic and Philosophy of Knowledge, Communication and Action"},{"key":"2020040702352356400_ref12","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139003513","volume-title":"Proof Analysis","author":"Negri","year":"2011"},{"key":"2020040702352356400_ref13","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1007\/978-3-319-27683-0_20","article-title":"A cut-free labelled sequent calculus for dynamic epistemic logic","volume":"2016","author":"Nomura","year":"2016","journal-title":"The Proceedings of Logical Foundations in Computer Science"},{"key":"2020040702352356400_ref14","first-page":"131","article-title":"Revising a sequent calculus for public announcement logic","volume":"TPLC-2014","author":"Nomura","year":"2015","journal-title":"Structural Analysis of Non\u2013classical Logics-The Proceedings of the Second Taiwan Philosophical Logic Colloquium"},{"key":"2020040702352356400_ref15","doi-asserted-by":"crossref","DOI":"10.1007\/978-981-13-7997-0","volume-title":"Proof Theory and Algebra in Logic","author":"Ono","year":"2019"},{"key":"2020040702352356400_ref16","doi-asserted-by":"crossref","first-page":"169","DOI":"10.2307\/2273798","article-title":"Logics without contraction rule","volume":"50","author":"Ono","year":"1985","journal-title":"The Journal of Symbolic Logic"},{"key":"2020040702352356400_ref17","first-page":"201","article-title":"Logic of public communications","author":"Plaza","year":"1989","journal-title":"Proceedings of the 4th International Symposium on Methodologies for Intellingent Systems: Poster Session Program"},{"key":"2020040702352356400_ref18","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1016\/j.entcs.2009.02.037","article-title":"Aximo: automated axiomatic reasoning for information update","volume":"231","author":"Richards","year":"2009","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"2020040702352356400_ref19","first-page":"129","article-title":"Dynamic logic for belief revision","volume":"14","author":"van Benthem","year":"2004","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"2020040702352356400_ref20","doi-asserted-by":"crossref","first-page":"157","DOI":"10.3166\/jancl.17.157-182","article-title":"Dynamic logic of preference upgrade","volume":"17","author":"van Benthem","year":"2007","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"2020040702352356400_ref21","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4020-5839-4","volume-title":"Dynamic Epistemic Logic","author":"van Ditmarsch","year":"2008"},{"key":"2020040702352356400_ref22","first-page":"305","article-title":"DEMO\u2014a demo of epistemic modelling","author":"van Eijck","year":"2007","journal-title":"Interactive Logic\u2014Proceedings of the 7th Augustus de Morgan Workshop"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/30\/1\/321\/33016495\/exaa014.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/30\/1\/321\/33016495\/exaa014.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,7]],"date-time":"2020-04-07T06:35:46Z","timestamp":1586241346000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article\/30\/1\/321\/5739324"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,1]]},"references-count":22,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2020,2,17]]},"published-print":{"date-parts":[[2020,1,23]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exaa014","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"type":"print","value":"0955-792X"},{"type":"electronic","value":"1465-363X"}],"subject":[],"published-other":{"date-parts":[[2020,1]]},"published":{"date-parts":[[2020,1]]}}}