{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T23:10:48Z","timestamp":1784243448006,"version":"3.55.0"},"reference-count":26,"publisher":"Oxford University Press (OUP)","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,4]]},"DOI":"10.1093\/logcom\/exx011","type":"journal-article","created":{"date-parts":[[2017,4,5]],"date-time":"2017-04-05T15:57:33Z","timestamp":1491407853000},"page":"705-748","source":"Crossref","is-referenced-by-count":12,"title":["Canonicity results for mu-calculi: an algorithmic approach"],"prefix":"10.1093","volume":"27","author":[{"given":"Willem","family":"Conradie","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andrew","family":"Craig","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"286","published-online":{"date-parts":[[2017,4,20]]},"reference":[{"key":"key\n\t\t\t\t20170420110227_B1","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(95)00045-X","article-title":"Duality and the completeness of the modal mu-calculus.","volume":"151","year":"1995","journal-title":"Theoretical Computer Science"},{"key":"key\n\t\t\t\t20170420110227_B2","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1007\/s00012-012-0196-x","article-title":"Preservation of Sahlqvist fixed point equations in completions of relativized fixed point Boolean algebras with operators.","volume":"68","year":"2012","journal-title":"Algebra Universalis"},{"key":"key\n\t\t\t\t20170420110227_B3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.tcs.2011.11.026","article-title":"Sahlqvist theorem for modal fixed point logic.","volume":"424","year":"2012","journal-title":"Theoretical Computer Science"},{"key":"key\n\t\t\t\t20170420110227_B4","first-page":"721","article-title":"Modal mu-calculi. In","volume-title":"Handbook of Modal Logic","year":"2006"},{"key":"key\n\t\t\t\t20170420110227_B5","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1016\/j.tcs.2014.10.027","article-title":"Algorithmic correspondence for intuitionistic mu-calculus.","volume":"564","year":"2015","journal-title":"Theoretical Computer Science"},{"key":"key\n\t\t\t\t20170420110227_B6","article-title":"Unified correspondence. In","volume-title":"Johan F.A.K. van Benthem on Logical and Informational Dynamics","year":"2014"},{"key":"key\n\t\t\t\t20170420110227_B7","doi-asserted-by":"crossref","first-page":"338","DOI":"10.1016\/j.apal.2011.10.004","article-title":"Algorithmic correspondence and canonicity for distributive modal logic.","volume":"163","year":"2012","journal-title":"Annals of Pure and Applied Logic"},{"key":"key\n\t\t\t\t20170420110227_B8","journal-title":"Canonicity and Relativized Canonicity via Pseudo-Correspondence: an Application of ALBA"},{"key":"key\n\t\t\t\t20170420110227_B9","article-title":"On Sahlqvist theory for hybrid logics.","volume-title":"Journal of Logic and Computation","year":"2015"},{"key":"key\n\t\t\t\t20170420110227_B10","volume-title":"Introduction to Lattices and Order","year":"2002","edition":"2nd ed"},{"key":"key\n\t\t\t\t20170420110227_B11","first-page":"59","volume-title":"Italian Studies in the Philosophy of Science","year":"1981"},{"key":"key\n\t\t\t\t20170420110227_B12","first-page":"139","article-title":"Continuous fragment of the mu-calculus. In","year":"2008","journal-title":"Computer Science Logic, 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, Proceedings"},{"key":"key\n\t\t\t\t20170420110227_B13","volume-title":"Residuated Lattices: An Algebraic Glimpse at Substructural Logics","year":"2007"},{"key":"key\n\t\t\t\t20170420110227_B14","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1006\/jabr.2000.8622","article-title":"Bounded lattice expansions.","volume":"238","year":"2001","journal-title":"Journal of Algebra"},{"key":"key\n\t\t\t\t20170420110227_B15","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1016\/j.apal.2004.04.007","article-title":"A Sahlqvist theorem for distributive modal logic.","volume":"131","year":"2005","journal-title":"Annals Pure Applied Logic"},{"key":"key\n\t\t\t\t20170420110227_B16","doi-asserted-by":"crossref","first-page":"180","DOI":"10.1016\/j.apal.2005.10.005","article-title":"Elementary canonical formulae: extending Sahlqvist\u2019s theorem.","volume":"141","year":"2006","journal-title":"Annals of Pure and Applied Logic"},{"key":"key\n\t\t\t\t20170420110227_B17","first-page":"552","article-title":"Automata for the modal mu-calculus and related results. In","volume-title":"Mathematical Foundations of Computer Science 1995, 20th International Symposium","year":"1995"},{"key":"key\n\t\t\t\t20170420110227_B18","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1016\/0304-3975(82)90125-6","article-title":"Results on the propositional $\\mu$-calculus.","volume":"27","year":"1983","journal-title":"Theoretical Computer Science"},{"key":"key\n\t\t\t\t20170420110227_B19","first-page":"110","article-title":"Correspondence and completeness in the first and second-order semantics for modal logic. In","volume-title":"Proceedings of the 3rd Scandinavian Logic Symposium, Uppsala 1973","year":"1975"},{"key":"key\n\t\t\t\t20170420110227_B20","volume-title":"Modal Logic and Classical Logic","year":"1983"},{"key":"key\n\t\t\t\t20170420110227_B21","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/978-94-017-0454-0_4","article-title":"Correspondence theory. In","volume-title":"Handbook of Philosophical Logic","year":"2001"},{"key":"key\n\t\t\t\t20170420110227_B22","doi-asserted-by":"crossref","first-page":"696","DOI":"10.2178\/jsl\/1122038910","article-title":"Minimal predicates, fixed-points, and definability.","volume":"70","year":"2005","journal-title":"Journal of Symbolic Logic"},{"key":"key\n\t\t\t\t20170420110227_B23","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/s11225-012-9388-9","article-title":"Sahlqvist correspondence for modal mu-calculus.","volume":"100","year":"2012","journal-title":"Studia Logica"},{"key":"key\n\t\t\t\t20170420110227_B24","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1006\/inco.1999.2836","article-title":"Completeness of Kozen\u2019s axiomatisation of the propositional $\\mu$-calculus.","volume":"157","year":"2000","journal-title":"Information and Computation"},{"key":"key\n\t\t\t\t20170420110227_B25","first-page":"227","article-title":"Intuitionistic modal logic. In","volume":"280","year":"1999","journal-title":"Logic and Foundations of Mathematics"},{"key":"key\n\t\t\t\t20170420110227_B26","volume-title":"Algebraic Canonicity in Non-Classical Logics","year":"2013"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/27\/3\/705\/13694329\/exx011.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,24]],"date-time":"2017-08-24T15:00:47Z","timestamp":1503586847000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article-lookup\/doi\/10.1093\/logcom\/exx011"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,4]]},"references-count":26,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2017,4,20]]},"published-print":{"date-parts":[[2017,4]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exx011","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,4]]}}}