{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T10:28:07Z","timestamp":1725791287089},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319062501"},{"type":"electronic","value":"9783319062518"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-06251-8_27","type":"book-chapter","created":{"date-parts":[[2014,4,8]],"date-time":"2014-04-08T01:32:39Z","timestamp":1396920759000},"page":"446-462","source":"Crossref","is-referenced-by-count":2,"title":["Fixed-Point Theory in the Varieties $\\mathcal{D}_{n}$"],"prefix":"10.1007","author":[{"given":"Sabine","family":"Frittella","sequence":"first","affiliation":[]},{"given":"Luigi","family":"Santocanale","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"27_CR1","volume-title":"Rudiments of \u03bc-Calculus, Studies in Logic and the Foundations of Mathematics","author":"A. Arnold","year":"2001","unstructured":"Arnold, A., Niwi\u0144ski, D.: Rudiments of \u03bc-Calculus, Studies in Logic and the Foundations of Mathematics, vol.\u00a0146. Elsevier, Amsterdam (2001)"},{"key":"27_CR2","volume-title":"Oxford Logic Guides","author":"S. Awodey","year":"2010","unstructured":"Awodey, S.: Category Theory. In: Oxford Logic Guides, 2nd edn., vol.\u00a052. Oxford University Press, Oxford (2010)","edition":"2"},{"key":"27_CR3","volume-title":"Lattice Theory, American Mathematical Society Colloquium Publications","author":"G. Birkhoff","year":"1973","unstructured":"Birkhoff, G.: Lattice Theory, American Mathematical Society Colloquium Publications, 3rd edn., vol.\u00a025. American Mathematical Society, Providence (1973)","edition":"3"},{"key":"27_CR4","doi-asserted-by":"publisher","first-page":"310","DOI":"10.2307\/2586539","volume":"65","author":"G. D\u2019Agostino","year":"2000","unstructured":"D\u2019Agostino, G., Hollenberg, M.: Logical Questions Concerning the mu-Calculus: Interpolation, Lyndon and Los-Tarski. J. Symb. Log.\u00a065, 310\u2013332 (2000)","journal-title":"J. Symb. Log."},{"key":"27_CR5","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809088","volume-title":"Introduction to Lattices and Order","author":"B. Davey","year":"2002","unstructured":"Davey, B., Priestley, H.: Introduction to Lattices and Order, 2nd edn. Cambridge University Press, New York (2002)","edition":"2"},{"key":"27_CR6","doi-asserted-by":"publisher","first-page":"252","DOI":"10.4153\/CJM-1992-017-7","volume":"44","author":"A. Day","year":"1992","unstructured":"Day, A.: Doubling constructions in lattice theory. Can. J. Math.\u00a044, 252\u2013269 (1992)","journal-title":"Can. J. Math."},{"key":"27_CR7","unstructured":"Fortier, J., Santocanale, L.: Cuts for circular proofs: semantics and cut-elimination. In: Rocca, S.R.D. (ed.) CSL. LIPIcs, vol.\u00a023, pp. 248\u2013262. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2013)"},{"key":"27_CR8","volume-title":"Free Lattices, Mathematical Surveys and Monographs","author":"R. Freese","year":"1995","unstructured":"Freese, R., Je\u017eek, J., Nation, J.: Free Lattices, Mathematical Surveys and Monographs, vol.\u00a042. American Mathematical Society, Providence (1995)"},{"key":"27_CR9","unstructured":"Goldblatt, R.: A Kripke-Joyal Semantics for Noncommutative Logic in Quantales. In: Governatori, G., Hodkinson, I.M., Venema, Y. (eds.) Advances in Modal Logic, pp. 209\u2013225. College Publications (2006)"},{"key":"27_CR10","unstructured":"Gr\u00e4tzer, G.: General Lattice Theory, 2nd edn. Birkha \u0308user Verlag, Basel (1998); New appendices by the author with Davey, B.A., Freese, R., Ganter, B., Greferath, M., Jipsen, P., Priestley, H.A., Rose, H., Schmidt, E.T., Schmidt, S.E., Wehrung, F., Wille, R"},{"key":"27_CR11","doi-asserted-by":"crossref","unstructured":"Gr\u00e4tzer, G.: Universal Algebra, 2nd printing of the 2nd edn. Springer, New York (2008)","DOI":"10.1007\/978-0-387-77487-9"},{"key":"27_CR12","unstructured":"Hansen, H.: Monotonic Modal Logics. Master\u2019s thesis, Institute for Logic, Language and Computation, Universiteit van Amsterdam (2003), Available as: ILLC technical report: PP-2003-24"},{"key":"27_CR13","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1016\/0304-3975(82)90125-6","volume":"27","author":"D. Kozen","year":"1983","unstructured":"Kozen, D.: Results on the Propositional mu-Calculus. Theor. Comput. Sci.\u00a027, 333\u2013354 (1983)","journal-title":"Theor. Comput. Sci."},{"key":"27_CR14","doi-asserted-by":"publisher","first-page":"99","DOI":"10.2307\/2586754","volume":"64","author":"M. Kracht","year":"1999","unstructured":"Kracht, M., Wolter, F.: Normal monomodal logics can simulate all others. J. Symb. Log.\u00a064, 99\u2013138 (1999)","journal-title":"J. Symb. Log."},{"key":"27_CR15","volume-title":"Categories for the Working Mathematician, Graduate Texts in Mathematics","author":"S. Mac Lane","year":"1998","unstructured":"Mac Lane, S.: Categories for the Working Mathematician, Graduate Texts in Mathematics, 2nd edn., vol.\u00a05. Springer, New York (1998)","edition":"2"},{"key":"27_CR16","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1007\/BF01188998","volume":"27","author":"J.B. Nation","year":"1990","unstructured":"Nation, J.B.: An approach to lattice varieties of finite height. Algebra Universalis\u00a027, 521\u2013543 (1990)","journal-title":"Algebra Universalis"},{"key":"27_CR17","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/0304-3975(95)00136-0","volume":"163","author":"D. Niwinski","year":"1996","unstructured":"Niwinski, D., Walukiewicz, I.: Games for the mu-Calculus. Theor. Comput. Sci.\u00a0163, 99\u2013116 (1996)","journal-title":"Theor. Comput. Sci."},{"key":"27_CR18","first-page":"166","volume":"9","author":"L. Santocanale","year":"2001","unstructured":"Santocanale, L.: The alternation hierarchy for the theory of \u03bc-lattices. Theory Appl. Categ.\u00a09, 166\u2013197 (2001)","journal-title":"Theory Appl. Categ."},{"key":"27_CR19","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/S0022-4049(01)00098-6","volume":"168","author":"L. Santocanale","year":"2002","unstructured":"Santocanale, L.: Free \u03bc-lattices. J. Pure Appl. Algebra\u00a0168, 227\u2013264 (2002)","journal-title":"J. Pure Appl. Algebra"},{"key":"27_CR20","unstructured":"Santocanale, L.: A duality for finite lattices (2009), \n                    \n                      http:\/\/hal.archives-ouvertes.fr\/hal-00432113\n                    \n                    \n                   (unpublished)"},{"key":"27_CR21","doi-asserted-by":"crossref","unstructured":"Semenova, M.V.: Lattices that are embeddable in suborder lattices. Algebra and Logic\u00a044 (2005)","DOI":"10.1007\/s10469-005-0027-7"},{"key":"27_CR22","unstructured":"Venema, Y., Santocanale, L.: Uniform interpolation for monotone modal logic. In: Beklemishev, L., Goranko, V., Shehtman, V. (eds.) Advances in Modal Logic, vol.\u00a08, pp. 350\u2013370. College Publications (2010)"},{"key":"27_CR23","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1006\/inco.1999.2836","volume":"157","author":"I. Walukiewicz","year":"2000","unstructured":"Walukiewicz, I.: Completeness of Kozen\u2019s Axiomatisation of the Propositional \u03bc-Calculus. Inf. Comput.\u00a0157, 142\u2013182 (2000)","journal-title":"Inf. Comput."}],"container-title":["Lecture Notes in Computer Science","Relational and Algebraic Methods in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-06251-8_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T14:32:50Z","timestamp":1558881170000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-06251-8_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319062501","9783319062518"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-06251-8_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}