{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,19]],"date-time":"2026-06-19T18:30:54Z","timestamp":1781893854273,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":54,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,7,9]],"date-time":"2018-07-09T00:00:00Z","timestamp":1531094400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,7,9]]},"DOI":"10.1145\/3209108.3209180","type":"proceedings-article","created":{"date-parts":[[2018,6,27]],"date-time":"2018-06-27T08:14:43Z","timestamp":1530087283000},"page":"909-918","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["A van Benthem Theorem for Fuzzy Modal Logic"],"prefix":"10.1145","author":[{"given":"Paul","family":"Wild","sequence":"first","affiliation":[{"name":"Friedrich-Alexander-Universit\u00e4t, Erlangen-N\u00fcrnberg"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lutz","family":"Schr\u00f6der","sequence":"additional","affiliation":[{"name":"Friedrich-Alexander-Universit\u00e4t, Erlangen-N\u00fcrnberg"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dirk","family":"Pattinson","sequence":"additional","affiliation":[{"name":"Australian National University, Canberra"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Barbara","family":"K\u00f6nig","sequence":"additional","affiliation":[{"name":"Universit\u00e4t Duisburg-Essen"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2018,7,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2017.01.002"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(95)00011-K"},{"key":"e_1_3_2_1_3_1","volume-title":"Real Analysis and Probability","author":"Ash R.","year":"1972","unstructured":"R. Ash. Real Analysis and Probability. Academic Press, 1972."},{"key":"e_1_3_2_1_4_1","first-page":"403","volume-title":"FSTTCS 2014","volume":"29","author":"Baldan P.","year":"2014","unstructured":"P. Baldan, F. Bonchi, H. Kerstan, and B. K\u00f6nig. Behavioral metrics via functor lifting. In Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, vol. 29 of LIPIcs, pp. 403--415. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 2014."},{"key":"e_1_3_2_1_5_1","first-page":"1","volume-title":"ICALP 2017","volume":"80","author":"Balle B.","year":"2017","unstructured":"B. Balle, P. Gourdeau, and P. Panangaden. Bisimulation metrics for weighted automata. In Automata, Languages, and Programming, ICALP 2017, vol. 80 of LIPIcs, pp. 103:1--14. Schloss Dagstuhl -- Leibniz Center for Informatics, 2017."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(93)90076-6"},{"key":"e_1_3_2_1_7_1","first-page":"281","volume-title":"ICALP 2004","volume":"3142","author":"Bruns G.","year":"2004","unstructured":"G. Bruns and P. Godefroid. Model checking with multi-valued logics. In Automata, Languages and Programming, ICALP 2004, vol. 3142 of LNCS, pp. 281--293. Springer, 2004."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/TFUZZ.2012.2230177"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2015.40"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1515\/9781400882052"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2005.27"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2003.09.013"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2008.42"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exq005"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2015.41"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/TFUZZ.2015.2426724"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2014.05.007"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/2831071.2831078"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/161288.161295"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-5300-3"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.fss.2005.03.005"},{"key":"e_1_3_2_1_22_1","volume-title":"Neighbourhood structures: Bisimilarity and basic model theory. Log. Meth. Comput. Sci., 5(2)","author":"Hansen H.","year":"2009","unstructured":"H. Hansen, C. Kupke, and E. Pacuit. Neighbourhood structures: Bisimilarity and basic model theory. Log. Meth. Comput. Sci., 5(2), 2009."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/645724.666882"},{"key":"e_1_3_2_1_24_1","first-page":"277","volume-title":"CSL 2015","volume":"41","author":"Kontinen J.","year":"2015","unstructured":"J. Kontinen, J. M\u00fcller, H. Schnoor, and H. Vollmer. A van Benthem theorem for modal team semantics. In Computer Science Logic, CSL 2015, vol. 41 of LIPIcs, pp. 277--291. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 2015."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0165-0114(96)00268-0"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/1779046.1779071"},{"key":"e_1_3_2_1_27_1","first-page":"1","article-title":"Untersuchungen \u00fcber den Aussagenkalk\u00fcl. Comptes rendus des s\u00e9ances de la Soci\u00e9t\u00e9 des Sciences et des Lettres de Varsovie","volume":"23","author":"\u0141ukasiewicz J.","year":"1930","unstructured":"J. \u0141ukasiewicz and A. Tarski. Untersuchungen \u00fcber den Aussagenkalk\u00fcl. Comptes rendus des s\u00e9ances de la Soci\u00e9t\u00e9 des Sciences et des Lettres de Varsovie, Classe III, 23:1--21, 1930.","journal-title":"Classe III"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2008.04.001"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093882548"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093635000"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00396907"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19880340411"},{"key":"e_1_3_2_1_33_1","volume-title":"Technical Report 2342, Dept. Math.","author":"Otto M.","year":"2004","unstructured":"M. Otto. Elementary proof of the van Benthem-Rosen characterisation theorem. Technical Report 2342, Dept. Math., TU Darmstadt, 2004."},{"key":"e_1_3_2_1_34_1","series-title":"Lect","first-page":"276","volume-title":"Logic Colloquium","author":"Otto M.","year":"2002","unstructured":"M. Otto. Bisimulation invariance and finite models. In Logic Colloquium 2002, vol. 27 of Lect. Notes Log., pp. 276--298. ASL, 2006."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008275906015"},{"key":"e_1_3_2_1_36_1","volume-title":"North Holland","author":"Rosser J.","year":"1952","unstructured":"J. Rosser and A. Turquette. Many-Valued Logics. North Holland, 1952."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00056-6"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/11676935_10"},{"key":"e_1_3_2_1_39_1","first-page":"176","volume-title":"International Symposium on Multiple-Valued Logic, ISMV 1975","author":"Schotch P.","year":"1976","unstructured":"P. Schotch. Fuzzy modal logic. In International Symposium on Multiple-Valued Logic, ISMV 1975, pp. 176--181. IEEE, 1976."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.5555\/2283516.2283577"},{"key":"e_1_3_2_1_41_1","first-page":"749","article-title":"A van Benthem\/Rosen theorem for coalgebraic predicate logic","volume":"27","author":"Schr\u00f6der L.","year":"2017","unstructured":"L. Schr\u00f6der, D. Pattinson, and T. Litak. A van Benthem\/Rosen theorem for coalgebraic predicate logic. J. Log. Comput., 27:749--773, 2017.","journal-title":"J. Log. Comput."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1111\/j.1755-2567.1967.tb00610.x"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.5555\/295240.295743"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1013360121031"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.3166\/jancl.20.139-171"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.25368\/2022.77"},{"key":"e_1_3_2_1_47_1","unstructured":"J. van Benthem. Modal Correspondence Theory. PhD thesis Universiteit van Amsterdam 1976."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-0454-0_4"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.09.035"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSSC.1969.300263"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.5555\/3171642.3171827"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/3209108.3209180"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.5555\/1631171.1631242"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(65)90241-X"}],"event":{"name":"LICS '18: 33rd Annual ACM\/IEEE Symposium on Logic in Computer Science","location":"Oxford United Kingdom","acronym":"LICS '18","sponsor":["SIGLOG ACM Special Interest Group on Logic and Computation","IEEE-CS\\DATC IEEE Computer Society","EACSL European Association for Computer Science Logic"]},"container-title":["Proceedings of the 33rd Annual ACM\/IEEE Symposium on Logic in Computer Science"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3209108.3209180","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3209108.3209180","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,19]],"date-time":"2026-06-19T07:34:18Z","timestamp":1781854458000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3209108.3209180"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,7,9]]},"references-count":54,"alternative-id":["10.1145\/3209108.3209180","10.1145\/3209108"],"URL":"https:\/\/doi.org\/10.1145\/3209108.3209180","relation":{},"subject":[],"published":{"date-parts":[[2018,7,9]]},"assertion":[{"value":"2018-07-09","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}