{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,3]],"date-time":"2026-07-03T09:20:10Z","timestamp":1783070410413,"version":"3.54.6"},"reference-count":21,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.447.9","type":"journal-article","created":{"date-parts":[[2026,6,28]],"date-time":"2026-06-28T14:38:16Z","timestamp":1782657496000},"page":"158-172","source":"Crossref","is-referenced-by-count":0,"title":["Modal Measurable Logics via a Modal Loomis-Sikorski Representation Theorem"],"prefix":"10.4204","volume":"447","author":[{"given":"Nick","family":"Bezhanishvili","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jim","family":"de Groot","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lawrence S.","family":"Moss","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"2720","published-online":{"date-parts":[[2026,6,29]]},"reference":[{"issue":"1","key":"BF24","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1017\/jsl.2024.1","article-title":"The Baire Closure and its Logic","volume":"89","author":"Bezhanishvili","year":"2024","journal-title":"Journal of Symbolic Logic"},{"key":"BdRV01","series-title":"Cambridge Tracts in Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","volume":"53","author":"Blackburn","year":"2001"},{"key":"CZ97","series-title":"Oxford logic guides","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198537793.001.0001","volume-title":"Modal Logic","volume":"35","author":"Chagrov","year":"1997"},{"key":"DP02","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511809088","volume-title":"Introduction to Lattices and Order, Second Edition","author":"Davey","year":"2002"},{"key":"Esakia74","first-page":"298","article-title":"Topological Kripke models","volume":"214","author":"Esakia","year":"1974","journal-title":"Doklady Akademii Nauk SSSR"},{"key":"Esakia19","series-title":"Trends in Logic","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-030-12096-2","volume-title":"Heyting Algebras: Duality Theory","volume":"50","author":"Esakia","year":"2019"},{"key":"FernandezDuque10","first-page":"100","article-title":"Absolute Completeness of S4_u for Its Measure-Theoretic Semantics","volume-title":"Proceedings AiML 2010","author":"Fern\u00e1ndez-Duque","year":"2010"},{"key":"FurEA17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/LICS.2017.8005152","article-title":"Unrestricted Stone duality for Markov processes","volume-title":"Proceedings LICS 2017","author":"Furber","year":"2017"},{"key":"GivHal08","series-title":"Undergraduate Texts in Mathematics","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68436-9","volume-title":"Introduction to Boolean Algebras","author":"Givant","year":"2008"},{"issue":"5","key":"Goldblatt10","doi-asserted-by":"publisher","first-page":"1069","DOI":"10.1093\/logcom\/exn092","article-title":"Deduction systems for coalgebras over measurable spaces","volume":"20","author":"Goldblatt","year":"2010","journal-title":"Journal of Logic and Computation"},{"issue":"2","key":"HeifetzSamet98","doi-asserted-by":"publisher","first-page":"324","DOI":"10.1006\/jeth.1998.2435","article-title":"Topology-free typology of beliefs","volume":"82","author":"Heifetz","year":"1998","journal-title":"Journal of Economic Theory"},{"issue":"1","key":"JTao2023Foundational","doi-asserted-by":"publisher","first-page":"1","DOI":"10.4064\/fm226-7-2022","article-title":"Foundational Aspects of Uncountable Measure Theory: Gelfand Duality, Riesz Representation, Canonical Models, and Canonical Disintegration","volume":"261","author":"Jamneshan","year":"2023","journal-title":"Fundamenta Mathematicae"},{"key":"KozenLMP13","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1109\/LICS.2013.38","article-title":"Stone Duality for Markov Processes","volume-title":"Proceedings LiCS 2013","author":"Kozen","year":"2013"},{"issue":"2","key":"Lando12Completeness","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/s10992-010-9161-3","article-title":"Completeness of S4 for the Lebesgue Measure Algebra","volume":"41","author":"Lando","year":"2012","journal-title":"Journal of Philosophical Logic"},{"issue":"12","key":"Lando12Dynamic","doi-asserted-by":"publisher","first-page":"1719","DOI":"10.1016\/j.apal.2012.04.001","article-title":"Dynamic measure logic","volume":"163","author":"Lando","year":"2012","journal-title":"Annals of Pure and Applied Logic"},{"issue":"1","key":"Lando17","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1017\/S1755020316000228","article-title":"Logics above S4 and the Lebesgue Measure Algebra","volume":"10","author":"Lando","year":"2017","journal-title":"Review of Symbolic Logic"},{"key":"Loomis47","doi-asserted-by":"publisher","first-page":"757","DOI":"10.1090\/S0002-9904-1947-08866-2","article-title":"On the representation of \u03c3-complete Boolean algebras","volume":"53","author":"Loomis","year":"1947","journal-title":"Bulletin of the American Mathematical Society"},{"issue":"4","key":"MossViglizzo06","doi-asserted-by":"publisher","first-page":"610","DOI":"10.1016\/j.ic.2005.04.006","article-title":"Final coalgebras for functors on measurable spaces","volume":"204","author":"Moss","year":"2006","journal-title":"Information and Computation"},{"key":"Rybakov97","volume-title":"Admissibility of logical inference rules","volume":"136","author":"Rybakov","year":"1997"},{"key":"Sikorski48","doi-asserted-by":"publisher","first-page":"247","DOI":"10.4064\/fm-35-1-247-258","article-title":"On the representation of Boolean algebras as fields of sets","volume":"35","author":"Sikorski","year":"1948","journal-title":"Fundamenta Mathematicae"},{"issue":"2","key":"Zhou14","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-10(2:13)2014","article-title":"Probability logic for Harsanyi type spaces","volume":"10","author":"Zhou","year":"2014","journal-title":"Logical Methods in Computer Science"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2026,7,3]],"date-time":"2026-07-03T08:55:16Z","timestamp":1783068916000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/2606.31862v1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,6,29]]},"references-count":21,"URL":"https:\/\/doi.org\/10.4204\/eptcs.447.9","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,6,29]]}}}