{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T10:11:19Z","timestamp":1775038279232,"version":"3.50.1"},"reference-count":45,"publisher":"Oxford University Press (OUP)","issue":"2","license":[{"start":{"date-parts":[[2023,1,30]],"date-time":"2023-01-30T00:00:00Z","timestamp":1675036800000},"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\/501100001824","name":"Czech Science Foundation","doi-asserted-by":"publisher","award":["21-23610M"],"award-info":[{"award-number":["21-23610M"]}],"id":[{"id":"10.13039\/501100001824","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Institute of Computer Science","award":["67985807"],"award-info":[{"award-number":["67985807"]}]},{"name":"Alexander von Humboldt foundation"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,3,2]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We study a version of public announcement logic with common knowledge based on the relevant logic $\\textsf {R}$. Public announcements, as represented in our framework, are not necessarily truthful and accepted by all agents, nor is it assumed that beliefs are preserved under announcements. We establish a completeness result with respect to a relational semantics, and we show that an alternative semantics based on information states is dual to the relational one. We add a question-forming inquisitive disjunction operator to the language and prove a completeness result with respect to the information semantics.<\/jats:p>","DOI":"10.1093\/logcom\/exac100","type":"journal-article","created":{"date-parts":[[2023,1,30]],"date-time":"2023-01-30T21:26:54Z","timestamp":1675114014000},"page":"436-461","source":"Crossref","is-referenced-by-count":8,"title":["Relevant epistemic logic with public announcements and common knowledge"],"prefix":"10.1093","volume":"33","author":[{"given":"V\u00edt","family":"Pun\u010coch\u00e1\u0159","sequence":"first","affiliation":[{"name":"Czech Academy of Sciences, Institute of Philosophy , Prague, The Czech Republic"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Igor","family":"Sedl\u00e1r","sequence":"additional","affiliation":[{"name":"Czech Academy of Sciences, Institute of Computer Science , Prague, The Czech Republic"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew","family":"Tedder","sequence":"additional","affiliation":[{"name":"Department of Philosophy I, Ruhr University Bochum , Bochum, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2023,1,30]]},"reference":[{"key":"2023030410205262700_","doi-asserted-by":"crossref","first-page":"855","DOI":"10.1007\/978-3-319-06025-5_33","article-title":"Dynamic Epistemic Logic as a Substructural Logic","volume-title":"Johan van Benthem on Logic and Information Dynamics","author":"Aucher","year":"2014"},{"key":"2023030410205262700_","doi-asserted-by":"crossref","first-page":"1913","DOI":"10.1093\/logcom\/exw002","article-title":"Dynamic Epistemic Logic in Update Logic","volume":"26","author":"Aucher","year":"2016","journal-title":"Journal of Logic and Computation"},{"key":"2023030410205262700_","first-page":"97","article-title":"About Intuitionistic Public Announcement Logic","volume-title":"Proc. 11th Int. Conference on Advances in Modal Logic (AiML 2016)","author":"Balbiani","year":"2016"},{"key":"2023030410205262700_","volume-title":"Situations and Attitudes","author":"Barwise","year":"1983"},{"key":"2023030410205262700_","doi-asserted-by":"crossref","first-page":"595","DOI":"10.1007\/s10992-011-9191-5","article-title":"On the Ternary Relation and Conditionality","volume":"41","author":"Beall","year":"2012","journal-title":"Journal of Philosophical Logic"},{"key":"2023030410205262700_","doi-asserted-by":"crossref","first-page":"1815","DOI":"10.1093\/logcom\/exv009","article-title":"Epistemic logics for sceptical agents","volume":"26","author":"B\u00edlkov\u00e1","year":"2016","journal-title":"Journal of Logic and Computation"},{"key":"2023030410205262700_","first-page":"108","article-title":"\u0141ukasiewicz Public Announcement Logic","volume-title":"Proc. 16th Int. Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2016)","author":"Cabrer","year":"2016"},{"key":"2023030410205262700_","volume-title":"Questions in Logic","author":"Ciardelli","year":"2016"},{"key":"2023030410205262700_","doi-asserted-by":"crossref","first-page":"1643","DOI":"10.1007\/s11229-014-0404-7","article-title":"Inquisitive dynamic epistemic logic","volume":"192","author":"Ciardelli","year":"2015","journal-title":"Synthese"},{"key":"2023030410205262700_","volume-title":"Inquisitive Semantics","author":"Ciardelli","year":"2019"},{"key":"2023030410205262700_","volume-title":"Possible Worlds","author":"Divers","year":"2002"},{"key":"2023030410205262700_","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1016\/0004-3702(94)00041-X","article-title":"On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and $n$-person games","volume":"77","author":"Dung","year":"1995","journal-title":"Artificial Intelligence"},{"key":"2023030410205262700_","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-94-017-0460-1_1","article-title":"Relevance logic","volume-title":"Handbook of Philosophical Logic","author":"Dunn","year":"2002"},{"key":"2023030410205262700_","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning About Knowledge","author":"Fagin","year":"1995"},{"key":"2023030410205262700_","doi-asserted-by":"crossref","first-page":"501","DOI":"10.1007\/BF00370161","article-title":"Models for relevant modal logics","volume":"49","author":"Fuhrmann","year":"1990","journal-title":"Studia Logica"},{"key":"2023030410205262700_","doi-asserted-by":"crossref","first-page":"881","DOI":"10.1093\/jigpal\/jzv033","article-title":"The attack as strong negation, part I","volume":"23","author":"Gabbay","year":"2015","journal-title":"Logic Journal of the IGPL"},{"key":"2023030410205262700_","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":"2023030410205262700_","doi-asserted-by":"crossref","first-page":"190","DOI":"10.1007\/978-3-642-21940-5_12","article-title":"Argumentation in the View of Modal Logic","volume-title":"Proc. Int. Workshop on Argumentation in Multi-Agent Systems (ArgMAS 2010)","author":"Grossi","year":"2011"},{"key":"2023030410205262700_","doi-asserted-by":"crossref","DOI":"10.1515\/9783111715773","volume-title":"Towards a Theory of Information","author":"Landman","year":"1986"},{"key":"2023030410205262700_","first-page":"198","article-title":"A logic of implicit and explicit belief","volume-title":"Proc. AAAI 1984","author":"Levesque","year":"1984"},{"key":"2023030410205262700_","doi-asserted-by":"crossref","first-page":"963","DOI":"10.1016\/j.apal.2013.11.004","article-title":"Algebraic semantics and model completeness for intuitionistic public announcement logic","volume":"165","author":"Ma","year":"2014","journal-title":"Annals of Pure and Applied Logic"},{"key":"2023030410205262700_","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511520006","volume-title":"Relevant Logic: A Philosophical Interpretation","author":"Mares","year":"2004"},{"key":"2023030410205262700_","first-page":"201","article-title":"Logics of public communications","volume-title":"Proc. 4th International Symposium on Methodologies for Intelligent Systems: Poster session program","author":"Plaza","year":"1989"},{"key":"2023030410205262700_","doi-asserted-by":"crossref","first-page":"296","DOI":"10.1017\/S1755020319000017","article-title":"Substructural inquisitive logics","volume":"12","author":"Pun\u010doch\u00e1\u0159","year":"2019","journal-title":"Review of Symbolic Logic"},{"key":"2023030410205262700_","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1007\/978-3-030-65840-3_13","article-title":"Inquisitive dynamic epistemic logic in a non-classical setting","volume-title":"Dynamic Logic. New Trends and Applications. DaLi 2020","author":"Pun\u010doch\u00e1\u0159","year":"2020"},{"key":"2023030410205262700_","doi-asserted-by":"crossref","first-page":"905","DOI":"10.1007\/s10992-019-09541-9","article-title":"A relevant logic of questions","volume":"49","author":"Pun\u010doch\u00e1\u0159","year":"2020","journal-title":"Journal of Philosophical Logic"},{"key":"2023030410205262700_","doi-asserted-by":"crossref","first-page":"1820","DOI":"10.1093\/logcom\/exab008","article-title":"Epistemic extensions of substructural inquisitive logics","volume":"31","author":"Pun\u010doch\u00e1\u0159","year":"2021","journal-title":"Journal of Logic and Computation"},{"key":"2023030410205262700_","doi-asserted-by":"crossref","first-page":"342","DOI":"10.1007\/978-3-030-89391-0_19","article-title":"Relevant Epistemic Logic with Public Announcements and Common Knowledge","volume-title":"Proc. 4th Int. Conference on Logic and Argumentation (CLAR 2021)","author":"Pun\u010doch\u00e1\u0159","year":"2021"},{"key":"2023030410205262700_","first-page":"463","article-title":"Information Flow and Relevant Logics","volume-title":"Logic, La nguage, and Computation: 1994 Proceedings","author":"Restall","year":"1995"},{"key":"2023030410205262700_","first-page":"289","article-title":"Relevant and substructural logics","volume-title":"Hanbook of the History of Logic","author":"Restall","year":"2006"},{"key":"2023030410205262700_","first-page":"459","article-title":"Bilattice Public Announcement Logic","volume-title":"Advances in Modal Logic 2014","author":"Rivieccio","year":"2014"},{"key":"2023030410205262700_","doi-asserted-by":"crossref","first-page":"194","DOI":"10.1016\/S0049-237X(08)71541-6","article-title":"Semantics of entailment","volume-title":"Truth, Syntax and Modality","author":"Routley","year":"1973"},{"key":"2023030410205262700_","first-page":"185","article-title":"The role of inconsistent and incomplete theories in the logic of belief","volume":"8","author":"Routley","year":"1975","journal-title":"Communication and Cognition"},{"key":"2023030410205262700_","volume-title":"Relevant Logics and Their Rivals","author":"Routley","year":"1982"},{"key":"2023030410205262700_","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1007\/s10849-020-09313-8","article-title":"A four-valued dynamic epistemic logic","volume":"29","author":"Santos","year":"2020","journal-title":"Journal of Logic, Language and Information"},{"key":"2023030410205262700_","doi-asserted-by":"crossref","first-page":"256","DOI":"10.1080\/11663081.2015.1094313","article-title":"Substructural epistemic logics","volume":"25","author":"Sedl\u00e1r","year":"2015","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"2023030410205262700_","doi-asserted-by":"crossref","first-page":"1787","DOI":"10.1093\/logcom\/exu034","article-title":"Epistemic extensions of modal distributive substructural logics","volume":"26","author":"Sedl\u00e1r","year":"2016","journal-title":"Journal of Logic and Computation"},{"key":"2023030410205262700_","first-page":"102","article-title":"A General Completeness Argument for Propositional Dynamic Logic","volume-title":"Advances in Modal Logic 2020","author":"Sedl\u00e1r","year":"2020"},{"key":"2023030410205262700_","volume-title":"Relational semantics for propositional dynamic logics","author":"Sedl\u00e1r","year":"2021"},{"key":"2023030410205262700_","doi-asserted-by":"crossref","first-page":"192","DOI":"10.1007\/978-3-030-88708-7_16","article-title":"Situated Epistemic Updates","volume-title":"Proc. 8th International Conference on Logic, Rationality, and Interaction (LORI 2021)","author":"Sedl\u00e1r","year":"2021"},{"key":"2023030410205262700_","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/978-3-319-29300-4_8","article-title":"Epistemic Relevance and Epistemic Actions","volume-title":"J. Michael Dunn on Information Based Logics","author":"Sequoiah-Grayson","year":"2016"},{"key":"2023030410205262700_","first-page":"2019","article-title":"A Logic of Affordances","volume-title":"The Logica Yearbook 2020","author":"Sequoiah-Grayson","year":"2021"},{"key":"2023030410205262700_","article-title":"Logic of Justified Beliefs Based on Argumentation","author":"Shi","journal-title":"To appear in Erkenntnis."},{"key":"2023030410205262700_","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4020-5839-4","volume-title":"Dynamic Epistemic Logic","author":"van Ditmarsch","year":"2008"},{"key":"2023030410205262700_","first-page":"331","article-title":"Tests as epistemic updates","volume-title":"Proc. 11th European Conference on Artificial Intelligence, ECAI\u201994","author":"van Linder","year":"1994"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/logcom\/article-pdf\/33\/2\/436\/49408992\/exac100.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/logcom\/article-pdf\/33\/2\/436\/49408992\/exac100.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,10]],"date-time":"2024-10-10T22:31:30Z","timestamp":1728599490000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article\/33\/2\/436\/7005683"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,1,30]]},"references-count":45,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2023,1,30]]},"published-print":{"date-parts":[[2023,3,2]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exac100","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2023,3]]},"published":{"date-parts":[[2023,1,30]]}}}