{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,27]],"date-time":"2025-09-27T13:22:17Z","timestamp":1758979337430,"version":"3.41.2"},"reference-count":13,"publisher":"Oxford University Press (OUP)","issue":"4","license":[{"start":{"date-parts":[[2025,3,14]],"date-time":"2025-03-14T00:00:00Z","timestamp":1741910400000},"content-version":"vor","delay-in-days":1,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,7,25]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>We develop a proof-theoretic semantics\u2014in particular, a base-extension semantics\u2014for multi-agent $S5$ modal logic (and hence also for the usual unindexed $S5$). Following the inferentialist interpretation of logic, this gives us a semantics in which validity is based on proof rather than truth. In base-extension semantics, the validity of formulae is generated by provability in a \u2018base\u2019 of atomic rules and an inductive definition of the validity of the connectives. Base-extension semantics for many interesting logics has been explored by several authors and, in particular, a base-extension semantics for the modal logics $K$, $KT$, $K4$, and $S4$ has been developed by the present authors. Here, we give a base-extension semantics for multi-agent $S5$ with $\\square _{a}$, for an agent $a$, as our primary operators, framed as the knowledge operator $K_{a}$. Similarly to Kripke semantics, we make use of relational structure between bases, allowing us to establish a correspondence between certain bases and worlds. We use this to establish the appropriate soundness and completeness results. We conclude by discussing how this semantics can be extended to Dynamic Epistemic Logics (DEL) starting with Public Announcement Logic (PAL). This note directly supplements [4] and does not repeat the discussion in it.<\/jats:p>","DOI":"10.1093\/jigpal\/jzae131","type":"journal-article","created":{"date-parts":[[2025,3,14]],"date-time":"2025-03-14T03:59:14Z","timestamp":1741924754000},"source":"Crossref","is-referenced-by-count":2,"title":["Base-extension semantics for S5 modal logic"],"prefix":"10.1093","volume":"33","author":[{"given":"Timo","family":"Eckhardt","sequence":"first","affiliation":[{"name":"UCL Computer Science , London WC1E 6BT, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Pym","sequence":"additional","affiliation":[{"name":"UCL Computer Science and Philosophy & Institute of Philosophy , London WC1E 6BT, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2025,3,13]]},"reference":[{"key":"2025072518362370200_ref1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"Blackburn","year":"2001"},{"key":"2025072518362370200_ref2","doi-asserted-by":"crossref","DOI":"10.2307\/j.ctvjghvz0","volume-title":"Articulating Reasons: An Introduction to Inferentialism","author":"Brandom","year":"2009"},{"volume-title":"Extended Model Semantics and Forgetting in Dynamic Epistemic Logic","year":"2021","author":"Eckhardt","key":"2025072518362370200_ref3"},{"key":"2025072518362370200_ref4","doi-asserted-by":"crossref","DOI":"10.1093\/jigpal\/jzae004","article-title":"Base-extension semantics for modal logic","author":"Eckhardt","year":"2024","journal-title":"Log J IGPL"},{"article-title":"Base-extension semantics for s5 modal logic","year":"2024","author":"Eckhardt","key":"2025072518362370200_ref5"},{"key":"2025072518362370200_ref6","doi-asserted-by":"crossref","DOI":"10.1515\/9781400881970-012","volume-title":"Extensive Games and the Problem of Information","author":"Kuhn","year":"1953"},{"key":"2025072518362370200_ref7","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1093\/jigpal\/jzt038","article-title":"On an inferential semantics for classical logic","volume":"22","author":"Makinson","year":"2014","journal-title":"Log J IGPL"},{"volume-title":"An Inferentialist Interpretation of Classical Logic","year":"2005","author":"Sandqvist","key":"2025072518362370200_ref8"},{"key":"2025072518362370200_ref9","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1093\/analys\/anp003","article-title":"Classical logic without bivalence","volume":"69","author":"Sandqvist","year":"2009","journal-title":"Analysis"},{"key":"2025072518362370200_ref10","doi-asserted-by":"crossref","first-page":"719","DOI":"10.1093\/jigpal\/jzv021","article-title":"Base-extension semantics for intuitionistic sentential logic","volume":"23","author":"Sandqvist","year":"2015","journal-title":"Log J IGPL"},{"key":"2025072518362370200_ref11","article-title":"Proof-theoretic versus model-theoretic consequence","volume-title":"The Logica Yearbook 2007","author":"Schroeder-Heister","year":"2008"},{"key":"2025072518362370200_ref12","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1111\/1467-8586.00133","article-title":"Games in dynamic-epistemic logic","volume":"53","author":"van Benthem","year":"2001","journal-title":"Bull Econ Res"},{"key":"2025072518362370200_ref13","doi-asserted-by":"crossref","DOI":"10.1007\/s11229-012-0233-5","article-title":"On axiomatizations of public announcement logic","volume":"190","author":"Wang","year":"2013","journal-title":"Synthese"}],"container-title":["Logic Journal of the IGPL"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/jigpal\/article-pdf\/33\/4\/jzae131\/62413383\/jzae131.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/jigpal\/article-pdf\/33\/4\/jzae131\/62413383\/jzae131.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,25]],"date-time":"2025-07-25T22:36:42Z","timestamp":1753483002000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/jigpal\/article\/doi\/10.1093\/jigpal\/jzae131\/8078317"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,3,13]]},"references-count":13,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2025,7,25]]}},"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzae131","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"type":"print","value":"1367-0751"},{"type":"electronic","value":"1368-9894"}],"subject":[],"published-other":{"date-parts":[[2025,8]]},"published":{"date-parts":[[2025,3,13]]},"article-number":"jzae131"}}