{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,8,9]],"date-time":"2023-08-09T04:27:04Z","timestamp":1691555224941},"reference-count":24,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.380.22","type":"journal-article","created":{"date-parts":[[2023,7,28]],"date-time":"2023-07-28T11:58:01Z","timestamp":1690545481000},"page":"383-399","source":"Crossref","is-referenced-by-count":0,"title":["Unification of Modal Logic via Topological Categories"],"prefix":"10.4204","volume":"380","author":[{"given":"Lingyuan","family":"Ye","sequence":"first","affiliation":[]}],"member":"2720","published-online":{"date-parts":[[2023,8,7]]},"reference":[{"key":"adamek1990abstract","volume-title":"Abstract and concrete categories : the joy of cats","author":"Ad\u00e1mek","year":"1990"},{"key":"baltag2021lcd","article-title":"Knowability and Continuity: a topological account of epistemic dependence","author":"Baltag","year":"2021"},{"issue":"5","key":"baltag2021simple","doi-asserted-by":"publisher","first-page":"939","DOI":"10.1007\/s10992-020-09588-z","article-title":"A Simple Logic of Functional Dependence","volume":"50","author":"Baltag","year":"2021","journal-title":"Journal of Philosophical Logic"},{"issue":"2","key":"topoapproach2019","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/s10992-018-9463-4","article-title":"A Topological Approach to Full Belief","volume":"48","author":"Baltag","year":"2019","journal-title":"Journal of Philosophical Logic"},{"issue":"1","key":"van2011dynamic","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-011-9347-x","article-title":"Dynamic Logics of Evidence-Based Beliefs","volume":"99","author":"van Benthem","year":"2011","journal-title":"Studia Logica"},{"issue":"2","key":"van2007dynamic","doi-asserted-by":"publisher","first-page":"129","DOI":"10.3166\/jancl.17.129-155","article-title":"Dynamic logic for belief revision","volume":"17","author":"van Benthem","year":"2007","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"vanBenthem2010open","volume-title":"Modal Logic for Open Minds","author":"van Benthem","year":"2010"},{"key":"vanbenthem2011ldii","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511974533","volume-title":"Logical dynamics of information and interaction","author":"van Benthem","year":"2011"},{"key":"vanbenthem2012evidence","first-page":"97","article-title":"Ecidence Logic: A New Look at Neighborhood Structures","volume-title":"Advances in Modal Logic","author":"van Benthem","year":"2012"},{"key":"blackburn2006handbook","volume-title":"Handbook of modal logic","author":"Blackburn","year":"2006"},{"key":"blackburnrijkevenema2001","series-title":"Cambridge Tracts in Theoretical Computer Science","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"Blackburn","year":"2001"},{"key":"cina2017thesis","volume-title":"Categories for the working modal logician","author":"Cin\u00e0","year":"2017"},{"key":"goble2006deontic","doi-asserted-by":"publisher","DOI":"10.1007\/11786849","volume-title":"Deontic Logic and Artificial Normative Systems: 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings","volume":"4048","author":"Goble","year":"2006"},{"key":"hintikka1962knowledge","volume-title":"Knowledge and Belief: An Introduction to the Logic of the Two Notions","author":"Hintikka","year":"1962"},{"key":"hofmann2014monoidal","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107517288","volume-title":"Monoidal Topology: A Categorical Approach to Order, Metric, and Topology","volume":"153","author":"Hofmann","year":"2014"},{"key":"joyal1984extension","volume-title":"An extension of the Galois theory of Grothendieck","volume":"309","author":"Joyal","year":"1984"},{"key":"kishida2017categories","doi-asserted-by":"publisher","first-page":"353","DOI":"10.4204\/EPTCS.251.26","article-title":"Categories for Dynamic Epistemic Logic","volume":"251","author":"Kishida","year":"2017","journal-title":"Electronic Proceedings in Theoretical Computer Science"},{"key":"liu2011reasoning","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-007-1344-4","volume-title":"Reasoning about preference dynamics","volume":"354","author":"Liu","year":"2011"},{"key":"mckinsey1944algebra","doi-asserted-by":"publisher","first-page":"141","DOI":"10.2307\/1969080","article-title":"The algebra of topology","author":"McKinsey","year":"1944","journal-title":"Annals of mathematics"},{"key":"plaza1989logics","first-page":"201","article-title":"Logics of public announcements","volume-title":"Proceedings 4th International Symposium on Methodologies for Intelligent Systems","author":"Plaza","year":"1989"},{"issue":"2","key":"plaza2007pal","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/s11229-007-9168-7","article-title":"Logics of public communications","volume":"158","author":"Plaza","year":"2007","journal-title":"Synthese"},{"key":"scott1970advice","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/978-94-010-3272-8_7","article-title":"Advice on modal logic","volume-title":"Philosophical problems in logic","author":"Scott","year":"1970"},{"issue":"9","key":"tamminga2021expressivity","doi-asserted-by":"publisher","first-page":"8733","DOI":"10.1007\/s11229-020-02597-0","article-title":"Expressivity results for deontic logics of collective agency","volume":"198","author":"Tamminga","year":"2021","journal-title":"Synthese"},{"issue":"18","key":"vonwright1954essay","article-title":"An essay in modal logic","volume":"5","author":"von Wright","year":"1954","journal-title":"British Journal for the Philosophy of Science"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2023,8,8]],"date-time":"2023-08-08T18:36:53Z","timestamp":1691519813000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/2203.06596v3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,8,7]]},"references-count":24,"URL":"https:\/\/doi.org\/10.4204\/eptcs.380.22","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,8,7]]}}}