{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T13:50:07Z","timestamp":1742997007232,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642022609"},{"type":"electronic","value":"9783642022616"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-02261-6_23","type":"book-chapter","created":{"date-parts":[[2009,6,6]],"date-time":"2009-06-06T04:28:49Z","timestamp":1244262529000},"page":"281-295","source":"Crossref","is-referenced-by-count":2,"title":["A Duality for Algebras of Lattice-Valued Modal Logic"],"prefix":"10.1007","author":[{"given":"Yoshihiro","family":"Maruyama","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"23_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0168-0072(91)90065-T","volume":"51","author":"S. Abramsky","year":"1991","unstructured":"Abramsky, S.: Domain theory in logical form. Ann. Pure Appl. Logic\u00a051, 1\u201377 (1991)","journal-title":"Ann. Pure Appl. Logic"},{"key":"23_CR2","doi-asserted-by":"crossref","unstructured":"Awodey, S.: Category theory. OUP (2006)","DOI":"10.1093\/acprof:oso\/9780198568612.001.0001"},{"key":"23_CR3","doi-asserted-by":"crossref","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal logic. CUP (2001)","DOI":"10.1017\/CBO9781107050884"},{"key":"23_CR4","unstructured":"Bonsangue, M.M.: Topological duality in semantics. Electr. Notes Theor. Comput. Sci. 8 (1998)"},{"key":"23_CR5","volume-title":"A paradigm for program semantics: power structures and duality","author":"C. Brink","year":"2001","unstructured":"Brink, C., Rewitzky, I.M.: A paradigm for program semantics: power structures and duality. CSLI Publications, Stanford (2001)"},{"key":"23_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-8130-3","volume-title":"A course in universal algebra","author":"S. Burris","year":"1981","unstructured":"Burris, S., Sankappanavar, H.P.: A course in universal algebra. Springer, Heidelberg (1981)"},{"key":"23_CR7","unstructured":"Clark, D.M., Davey, B.A.: Natural dualities for the working algebraist. CUP (1998)"},{"key":"23_CR8","volume-title":"Noncommutative geometry","author":"A. Connes","year":"1994","unstructured":"Connes, A.: Noncommutative geometry. Academic Press, London (1994)"},{"key":"23_CR9","doi-asserted-by":"crossref","unstructured":"Chagrov, A., Zakharyaschev, M.: Modal logic. OUP (1997)","DOI":"10.1093\/oso\/9780198537793.001.0001"},{"key":"23_CR10","volume-title":"Characterizations of C*-algebras; The Gelfand-Naimark theorems","author":"R.S. Doran","year":"1986","unstructured":"Doran, R.S., Belfi, V.A.: Characterizations of C*-algebras; The Gelfand-Naimark theorems. Marcel Dekker Inc., New York (1986)"},{"key":"23_CR11","first-page":"225","volume":"4","author":"A. Grothendieck","year":"1960","unstructured":"Grothendieck, A., Dieudonn\u00e9, J.: \u00c9l\u00e9ments de g\u00e9om\u00e9trie alg\u00e9brique: I. Le langage des sch\u00e9mas. Publications Math\u00e9matiques de l\u2019IH\u00c9S\u00a04, 225\u2013228 (1960)","journal-title":"Publications Math\u00e9matiques de l\u2019IH\u00c9S"},{"key":"23_CR12","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/BF01194512","volume":"17","author":"G. Hansoul","year":"1983","unstructured":"Hansoul, G.: A duality for Boolean algebras with operators. Algebra Universalis\u00a017, 34\u201349 (1983)","journal-title":"Algebra Universalis"},{"key":"23_CR13","doi-asserted-by":"publisher","first-page":"367","DOI":"10.3166\/jancl.15.367-388","volume":"15","author":"P.E. Eleftheriou","year":"2005","unstructured":"Eleftheriou, P.E., Koutras, C.D.: Frame constructions, truth invariance and validity preservation in many-valued modal logic. J. Appl. Non-Classical Logics\u00a015, 367\u2013388 (2005)","journal-title":"J. Appl. Non-Classical Logics"},{"key":"23_CR14","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1006\/jabr.2000.8622","volume":"239","author":"M. Gehrke","year":"2001","unstructured":"Gehrke, M., Harding, J.: Bounded lattice expansions. J. Algebra\u00a0239, 345\u2013371 (2001)","journal-title":"J. Algebra"},{"key":"23_CR15","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/j.apal.2004.04.007","volume":"131","author":"M. Gehrke","year":"2005","unstructured":"Gehrke, M., Nagahashi, H., Venema, Y.: A Sahlqvist theorem for distributive modal logic. Ann. Pure Appl. Logic\u00a0131, 65\u2013102 (2005)","journal-title":"Ann. Pure Appl. Logic"},{"key":"23_CR16","first-page":"235","volume":"15","author":"M.C. Fitting","year":"1991","unstructured":"Fitting, M.C.: Many-valued modal logics. Fund. Inform.\u00a015, 235\u2013254 (1991)","journal-title":"Fund. Inform."},{"key":"23_CR17","first-page":"55","volume":"17","author":"M.C. Fitting","year":"1992","unstructured":"Fitting, M.C.: Many-valued modal logics II. Fund. Inform.\u00a017, 55\u201373 (1992)","journal-title":"Fund. Inform."},{"key":"23_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/BFb0023869","volume-title":"Logical Foundations of Computer Science - Tver \u201992","author":"M.C. Fitting","year":"1992","unstructured":"Fitting, M.C.: Many-valued non-monotonic modal logics. In: Nerode, A., Taitslin, M.A. (eds.) LFCS 1992. LNCS, vol.\u00a0620, pp. 139\u2013150. Springer, Heidelberg (1992)"},{"key":"23_CR19","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/BF01053032","volume":"55","author":"M.C. Fitting","year":"1995","unstructured":"Fitting, M.C.: Tableaus for many-valued modal logic. Studia Logica\u00a055, 63\u201387 (1995)","journal-title":"Studia Logica"},{"key":"23_CR20","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1093\/jigpal\/8.1.33","volume":"8","author":"C.D. Koutras","year":"2000","unstructured":"Koutras, C.D., Zachos, S.: Many-valued reflexive autoepistemic logic. Logic Journal of the IGPL\u00a08, 33\u201354 (2000)","journal-title":"Logic Journal of the IGPL"},{"key":"23_CR21","first-page":"297","volume":"51","author":"C.D. Koutras","year":"2002","unstructured":"Koutras, C.D., Peppas, P.: Weaker axioms, more ranges. Fund. Inform.\u00a051, 297\u2013310 (2002)","journal-title":"Fund. Inform."},{"key":"23_CR22","doi-asserted-by":"publisher","first-page":"47","DOI":"10.3166\/jancl.13.47-71","volume":"13","author":"C.D. Koutras","year":"2003","unstructured":"Koutras, C.D.: A catalog of weak many-valued modal axioms and their corresponding frame classes. J. Appl. Non-Classical Logics\u00a013, 47\u201372 (2003)","journal-title":"J. Appl. Non-Classical Logics"},{"key":"23_CR23","series-title":"LNAI","first-page":"172","volume-title":"ICLA 2009","author":"Y. Maruyama","year":"2009","unstructured":"Maruyama, Y.: Algebraic study of lattice-valued logic and lattice-valued modal logic. In: Ramanujam, R., Sarukkai, S. (eds.) ICLA 2009. LNCS (LNAI), vol.\u00a05378, pp. 172\u2013186. Springer, Heidelberg (2009)"},{"key":"23_CR24","unstructured":"Maruyama, Y.: The logic of common belief, revisited (in preparation)"},{"key":"23_CR25","doi-asserted-by":"publisher","first-page":"807","DOI":"10.1090\/S0002-9904-1938-06871-1","volume":"44","author":"M.H. Stone","year":"1938","unstructured":"Stone, M.H.: The representation of Boolean algebras. Bull. Amer. Math. Soc.\u00a044, 807\u2013816 (1938)","journal-title":"Bull. Amer. Math. Soc."},{"key":"23_CR26","doi-asserted-by":"crossref","unstructured":"Stra\u00dfburger, L.: What is a logic, and what is a proof? Logica Universalis 2nd edn., 135\u2013152 (2007)","DOI":"10.1007\/978-3-7643-8354-1_8"},{"key":"23_CR27","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/s11225-007-9074-5","volume":"87","author":"B. Teheux","year":"2007","unstructured":"Teheux, B.: A duality for the algebras of a \u0141ukasiewicz n\u2009+\u20091-valued modal system. Studia Logica\u00a087, 13\u201336 (2007)","journal-title":"Studia Logica"}],"container-title":["Lecture Notes in Computer Science","Logic, Language, Information and Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02261-6_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,14]],"date-time":"2024-03-14T10:25:30Z","timestamp":1710411930000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02261-6_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642022609","9783642022616"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02261-6_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}