{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T21:58:37Z","timestamp":1767650317812},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540927006"},{"type":"electronic","value":"9783540927013"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-92701-3_12","type":"book-chapter","created":{"date-parts":[[2009,1,6]],"date-time":"2009-01-06T15:44:29Z","timestamp":1231256669000},"page":"170-184","source":"Crossref","is-referenced-by-count":5,"title":["Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic"],"prefix":"10.1007","author":[{"given":"Yoshihiro","family":"Maruyama","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal logic, CUP (2001)","DOI":"10.1017\/CBO9781107050884"},{"key":"12_CR2","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":"12_CR3","unstructured":"Clark, D.M., Davey, B.A.: Natural dualities for the working algebraist, CUP (1998)"},{"key":"12_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-387-77487-9","volume-title":"Universal algebra","author":"G.A. Gr\u00e4tzer","year":"1979","unstructured":"Gr\u00e4tzer, G.A.: Universal algebra. Springer, Heidelberg (1979)"},{"key":"12_CR5","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":"12_CR6","doi-asserted-by":"publisher","first-page":"300","DOI":"10.1090\/S0002-9947-1960-0112855-8","volume":"95","author":"G. Epstein","year":"1960","unstructured":"Epstein, G.: The lattice theory of Post algebras. Trans. Amer. Math. Soc.\u00a095, 300\u2013317 (1960)","journal-title":"Trans. Amer. Math. Soc."},{"key":"12_CR7","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":"12_CR8","doi-asserted-by":"publisher","first-page":"13","DOI":"10.7146\/math.scand.a-14428","volume":"94","author":"M. Gehrke","year":"2004","unstructured":"Gehrke, M., J\u00f3nsson, B.: Bounded distributive lattice expansions. Math. Scand\u00a094, 13\u201345 (2004)","journal-title":"Math. Scand"},{"key":"12_CR9","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":"12_CR10","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":"12_CR11","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":"12_CR12","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":"12_CR13","doi-asserted-by":"publisher","first-page":"7","DOI":"10.3166\/jancl.12.7-42","volume":"12","author":"C.D. Koutras","year":"2002","unstructured":"Koutras, C.D., Nomikos, C., Peppas, P.: Canonicity and completeness results for many-valued modal logics. J. Appl. Non-Classical Logics\u00a012, 7\u201341 (2002)","journal-title":"J. Appl. Non-Classical Logics"},{"key":"12_CR14","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":"12_CR15","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"}],"container-title":["Lecture Notes in Computer Science","Logic and Its Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-92701-3_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,23]],"date-time":"2023-05-23T11:40:38Z","timestamp":1684842038000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-92701-3_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540927006","9783540927013"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-92701-3_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}