{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T05:20:39Z","timestamp":1776316839440,"version":"3.50.1"},"reference-count":41,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,6,29]],"date-time":"2021-06-29T00:00:00Z","timestamp":1624924800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,6,29]],"date-time":"2021-06-29T00:00:00Z","timestamp":1624924800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,6,29]],"date-time":"2021-06-29T00:00:00Z","timestamp":1624924800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,6,29]]},"DOI":"10.1109\/lics52264.2021.9470656","type":"proceedings-article","created":{"date-parts":[[2021,7,7]],"date-time":"2021-07-07T16:14:07Z","timestamp":1625674447000},"page":"1-14","source":"Crossref","is-referenced-by-count":11,"title":["Expressivity of Quantitative Modal Logics : Categorical Foundations via Codensity and Approximation"],"prefix":"10.1109","author":[{"given":"Yuichi","family":"Komorida","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shin-ya","family":"Katsumata","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Clemens","family":"Kupke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jurriaan","family":"Rot","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ichiro","family":"Hasuo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","volume":"5","author":"maclane","year":"1998","journal-title":"Categories for the Working Mathematician Second Edition"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2010.07.019"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.07.022"},{"key":"ref32","article-title":"Up-to techniques for behavioural metrics via fibrations","volume":"118","author":"bonchi","year":"2018"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/0016-660X(74)90016-6"},{"key":"ref30","author":"jacobs","year":"1999","journal-title":"Categorical Logic and Type Theory"},{"key":"ref37","first-page":"169","author":"bourbaki","year":"1995","journal-title":"Uniform Structures"},{"key":"ref36","author":"dynkin","year":"1960","journal-title":"Theory of Markov Processes"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-6371-5"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2019\/263"},{"key":"ref10","author":"milner","year":"1989","journal-title":"Communication and Concurrency"},{"key":"ref40","doi-asserted-by":"crossref","first-page":"569","DOI":"10.1023\/A:1020969017551","article-title":"On a generalization of the Stone-Weierstrass theorem","volume":"10","author":"hofmann","year":"2002","journal-title":"Applied Categorical Structures Journal"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2455.2460"},{"key":"ref12","first-page":"443","article-title":"Algebraic reasoning for probabilistic concurrent systems","author":"giacalone","year":"1990","journal-title":"Proc IFIP TC2"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2003.09.013"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.09.035"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2019.04.002"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3209108.3209180"},{"key":"ref17","article-title":"(Metric) bisimulation games and real-valued modal logics for coalgebras","volume":"118","author":"k\u00f6nig","year":"2018"},{"key":"ref18","first-page":"27:1","article-title":"Characteristic logics for behavioural metrics via fuzzy lax extensions","volume":"171","author":"wild","year":"2020"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-00389-0_11"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129517000056"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31982-5_29"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-016-0271-4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1094155277"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/11784180_24"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-57201-3_7"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/11690634_12"},{"key":"ref8","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781316823187","volume":"59","author":"jacobs","year":"2016","journal-title":"Introduction to coalgebra Towards mathematics of states and observations"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2007.02.034"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2007.09.023"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00056-6"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-0072(98)00042-6"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2019.8785691"},{"key":"ref22","first-page":"26:1","article-title":"Expressive logics for coinductive predicates","volume":"152","author":"kupke","year":"2020"},{"key":"ref21","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1007\/BF01896006","article-title":"On approximation theorems for uniform spaces","volume":"22","author":"cs\u00e1sz\u00e1r","year":"1971","journal-title":"Acta Mathematica Academiae Scientiarum Hungarica"},{"key":"ref24","article-title":"Coalgebraic behavioral metrics","volume":"14","author":"baldan","year":"2018","journal-title":"Logical Methods in Computer Science"},{"key":"ref41","volume":"118","author":"schewe","year":"0"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1998.2725"},{"key":"ref26","doi-asserted-by":"crossref","DOI":"10.1109\/LICS52264.2021.9470656","article-title":"Expressivity of quantitative modal logics: Categorical foundations via codensity and approximation","author":"komorida","year":"2021"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)00063-5"}],"event":{"name":"2021 36th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)","location":"Rome, Italy","start":{"date-parts":[[2021,6,29]]},"end":{"date-parts":[[2021,7,2]]}},"container-title":["2021 36th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9470497\/9470501\/09470656.pdf?arnumber=9470656","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,3]],"date-time":"2023-01-03T02:31:24Z","timestamp":1672713084000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9470656\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6,29]]},"references-count":41,"URL":"https:\/\/doi.org\/10.1109\/lics52264.2021.9470656","relation":{},"subject":[],"published":{"date-parts":[[2021,6,29]]}}}