{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,5]],"date-time":"2025-11-05T12:06:16Z","timestamp":1762344376203,"version":"build-2065373602"},"reference-count":11,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.435.8","type":"journal-article","created":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T17:08:07Z","timestamp":1762016887000},"page":"93-103","source":"Crossref","is-referenced-by-count":0,"title":["The mu-calculus' Alternation Hierarchy is Strict over Non-Trivial Fusion Logics"],"prefix":"10.4204","volume":"435","author":[{"given":"Leonardo","family":"Pacheco","sequence":"first","affiliation":[{"name":"TU Wien, Vienna, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"2720","published-online":{"date-parts":[[2025,11,4]]},"reference":[{"key":"alberucci2002strictness","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/3-540-36387-4_11","article-title":"Strictness of the Modal \u03bc-Calculus Hierarchy","volume-title":"Automata Logics, and Infinite Games: A Guide to Current Research","author":"Alberucci","year":"2002"},{"issue":"4","key":"alberucci2009modal","doi-asserted-by":"publisher","first-page":"1367","DOI":"10.2178\/jsl\/1254748696","article-title":"The Modal \u03bc-Calculus Hierarchy over Restricted Classes of Transition Systems","volume":"74","author":"Alberucci","year":"2009","journal-title":"The Journal of Symbolic Logic"},{"key":"bradfield1998simplifying","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/BFb0028547","article-title":"Simplifying the Modal Mu-Calculus Alternation Hierarchy","volume-title":"STACS 98","volume":"1373","author":"Bradfield","year":"1998"},{"key":"bradfield2018mucalculus","doi-asserted-by":"publisher","first-page":"871","DOI":"10.1007\/978-3-319-10575-8_26","article-title":"The Mu-Calculus and Model Checking","volume-title":"Handbook of Model Checking","author":"Bradfield","year":"2018"},{"key":"carnielli2020combining","article-title":"Combining Logics","volume-title":"The Stanford Encyclopedia of Philosophy","author":"Carnielli","year":"2020"},{"issue":"4","key":"fischerservi1978finite","first-page":"687","article-title":"The Finite Model Property for MIPQ and Some Consequences","volume":"XIX","author":"Fischer Servi","year":"1978","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"1","key":"ignatiev1993strong","doi-asserted-by":"publisher","first-page":"249","DOI":"10.2307\/2275337","article-title":"On Strong Provability Predicates and the Associated Modal Logics","volume":"58","author":"Ignatiev","year":"1993","journal-title":"Journal of Symbolic Logic"},{"key":"kupke2021sizematters","doi-asserted-by":"publisher","first-page":"291","DOI":"10.4204\/EPTCS.346.19","article-title":"On the Size of Disjunctive Formulas in the \u03bc-Calculus","volume":"346","author":"Kupke","year":"2021","journal-title":"Electronic Proceedings in Theoretical Computer Science"},{"key":"kurucz2007combining","series-title":"Handbook of Modal Logic","doi-asserted-by":"publisher","first-page":"869","DOI":"10.1016\/S1570-2464(07)80018-8","article-title":"Combining Modal Logics","volume-title":"Studies in Logic and Practical Reasoning","volume":"3","author":"Kurucz","year":"2007"},{"issue":"3","key":"ono1977intuitionistic","doi-asserted-by":"publisher","first-page":"687","DOI":"10.2977\/prims\/1195189604","article-title":"On Some Intuitionistic Modal Logics","volume":"13","author":"Ono","year":"1977","journal-title":"Publications of the Research Institute for Mathematical Sciences"},{"volume-title":"Exploring the Difference Hierarchies on \u03bc-Calculus and Arithmetic\u2014from the Point of View of Gale\u2013Stewart Games","year":"2023","author":"Pacheco","key":"pacheco2023exploring"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2025,11,5]],"date-time":"2025-11-05T12:01:23Z","timestamp":1762344083000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/2511.02597v1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,4]]},"references-count":11,"URL":"https:\/\/doi.org\/10.4204\/eptcs.435.8","relation":{},"ISSN":["2075-2180"],"issn-type":[{"type":"electronic","value":"2075-2180"}],"subject":[],"published":{"date-parts":[[2025,11,4]]}}}