{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,14]],"date-time":"2026-05-14T11:53:32Z","timestamp":1778759612636,"version":"3.51.4"},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2017,7,8]],"date-time":"2017-07-08T00:00:00Z","timestamp":1499472000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001711","name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung","doi-asserted-by":"publisher","award":["200021_165850"],"award-info":[{"award-number":["200021_165850"]}],"id":[{"id":"10.13039\/501100001711","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2018,5]]},"DOI":"10.1007\/s00153-017-0573-4","type":"journal-article","created":{"date-parts":[[2017,7,8]],"date-time":"2017-07-08T03:47:54Z","timestamp":1499485674000},"page":"361-380","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Expressivity in chain-based modal logics"],"prefix":"10.1007","volume":"57","author":[{"given":"Michel","family":"Marti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7610-404X","authenticated-orcid":false,"given":"George","family":"Metcalfe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,7,8]]},"reference":[{"key":"573_CR1","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/S0022-4049(02)00329-8","volume":"181","author":"P Aglian\u00f2","year":"2003","unstructured":"Aglian\u00f2, P., Montagna, F.: Varieties of BL-algebras I: general properties. J. Pure Appl. Algebra 181, 105\u2013129 (2003)","journal-title":"J. Pure Appl. Algebra"},{"key":"573_CR2","doi-asserted-by":"crossref","unstructured":"B\u00edlkov\u00e1, M., Dostal, M.: Expressivity of many-valued modal logics, coalgebraically. In: Proceedings of WoLLIC 2016, volume 9803 of LNCS, pp. 109\u2013124. Springer (2016)","DOI":"10.1007\/978-3-662-52921-8_8"},{"key":"573_CR3","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"P Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)"},{"key":"573_CR4","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/j.artint.2014.09.001","volume":"218","author":"S Borgwardt","year":"2015","unstructured":"Borgwardt, S., Distel, F., Pe\u00f1aloza, R.: The limits of decidability in fuzzy description logics with general concept inclusions. Artif. Intell. 218, 23\u201355 (2015)","journal-title":"Artif. Intell."},{"issue":"5","key":"573_CR5","doi-asserted-by":"crossref","first-page":"739","DOI":"10.1093\/logcom\/exp062","volume":"21","author":"F Bou","year":"2011","unstructured":"Bou, F., Esteva, F., Godo, L., Rodr\u00edguez, R.: On the minimum many-valued logic over a finite residuated lattice. J. Logic Comput. 21(5), 739\u2013790 (2011)","journal-title":"J. Logic Comput."},{"key":"573_CR6","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1016\/j.jcss.2017.03.012","volume":"88","author":"X Caicedo","year":"2017","unstructured":"Caicedo, X., Metcalfe, G., Rodr\u00edguez, R., Rogger, J.: Decidability in order-based modal logics. J. Comput. Syst. Sci. 88, 53\u201373 (2017)","journal-title":"J. Comput. Syst. Sci."},{"issue":"2","key":"573_CR7","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1007\/s11225-010-9230-1","volume":"94","author":"X Caicedo","year":"2010","unstructured":"Caicedo, X., Rodr\u00edguez, R.: Standard G\u00f6del modal logics. Stud. Log. 94(2), 189\u2013214 (2010)","journal-title":"Stud. Log."},{"issue":"1","key":"573_CR8","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1093\/logcom\/exs036","volume":"25","author":"X Caicedo","year":"2015","unstructured":"Caicedo, X., Rodr\u00edguez, R.: Bi-modal G\u00f6del logic over [0,1]-valued Kripke frames. J. Logic Comput. 25(1), 37\u201355 (2015)","journal-title":"J. Logic Comput."},{"key":"573_CR9","volume-title":"Algebraic Foundations of Many-Valued Reasoning. Trends in Logic","author":"R Cignoli","year":"1999","unstructured":"Cignoli, R., D\u2019Ottaviano, I.M.L., Mundici, D.: Algebraic Foundations of Many-Valued Reasoning. Trends in Logic, vol. 7. Kluwer, Dordrecht (1999)"},{"issue":"4","key":"573_CR10","doi-asserted-by":"crossref","first-page":"379","DOI":"10.3233\/FUN-2007-81402","volume":"81","author":"D Diaconescu","year":"2007","unstructured":"Diaconescu, D., Georgescu, G.: Tense operators on MV-algebras and \u0141ukasiewicz\u2013Moisil algebras. Fundam. Inform. 81(4), 379\u2013408 (2007)","journal-title":"Fundam. Inform."},{"key":"573_CR11","unstructured":"Diaconescu, D., Metcalfe, G., Schn\u00fcriger, L.: A real-valued modal logic. In: Proceedings of AiML 2016, pp. 236\u2013251. College Publications (2016)"},{"issue":"2","key":"573_CR12","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1093\/logcom\/exq005","volume":"22","author":"PE Eleftheriou","year":"2012","unstructured":"Eleftheriou, P.E., Koutras, C.D., Nomikos, C.: Notions of bisimulation for Heyting-valued modal languages. J. Logic Comput. 22(2), 213\u2013235 (2012)","journal-title":"J. Logic Comput."},{"issue":"3\u20134","key":"573_CR13","doi-asserted-by":"crossref","first-page":"235","DOI":"10.3233\/FI-1991-153-404","volume":"15","author":"MC Fitting","year":"1991","unstructured":"Fitting, M.C.: Many-valued modal logics. Fundam. Inform. 15(3\u20134), 235\u2013254 (1991)","journal-title":"Fundam. Inform."},{"key":"573_CR14","doi-asserted-by":"crossref","first-page":"55","DOI":"10.3233\/FI-1992-171-205","volume":"17","author":"MC Fitting","year":"1992","unstructured":"Fitting, M.C.: Many-valued modal logics II. Fundam. Inform. 17, 55\u201373 (1992)","journal-title":"Fundam. Inform."},{"issue":"2\u20134","key":"573_CR15","first-page":"127","volume":"57","author":"L Godo","year":"2003","unstructured":"Godo, L., H\u00e1jek, P., Esteva, F.: A fuzzy modal logic for belief functions. Fundam. Inform. 57(2\u20134), 127\u2013146 (2003)","journal-title":"Fundam. Inform."},{"key":"573_CR16","doi-asserted-by":"crossref","unstructured":"Godo, L., Rodr\u00edguez,R.: A fuzzy modal logic for similarity reasoning. In: Fuzzy Logic and Soft Computing, pp 33\u201348. Kluwer (1999)","DOI":"10.1007\/978-1-4615-5261-1_3"},{"key":"573_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5300-3","volume-title":"Metamathematics of Fuzzy Logic","author":"P H\u00e1jek","year":"1998","unstructured":"H\u00e1jek, P.: Metamathematics of Fuzzy Logic. Kluwer, Dordrecht (1998)"},{"issue":"1","key":"573_CR18","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.fss.2005.03.005","volume":"154","author":"P H\u00e1jek","year":"2005","unstructured":"H\u00e1jek, P.: Making fuzzy description logic more general. Fuzzy Sets Syst. 154(1), 1\u201315 (2005)","journal-title":"Fuzzy Sets Syst."},{"key":"573_CR19","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0888-613X(94)00011-Q","volume":"12","author":"P H\u00e1jek","year":"1995","unstructured":"H\u00e1jek, P., Harmancov\u00e1, D., Verbrugge, R.: A qualitative fuzzy possibilistic logic. Int. J. Approx. Reason. 12, 1\u201319 (1995)","journal-title":"Int. J. Approx. Reason."},{"issue":"3","key":"573_CR20","doi-asserted-by":"crossref","first-page":"505","DOI":"10.1007\/s11225-012-9396-9","volume":"101","author":"G Hansoul","year":"2013","unstructured":"Hansoul, G., Teheux, B.: Extending \u0141ukasiewicz logics with a modality: Algebraic approach to relational semantics. Stud. Log. 101(3), 505\u2013545 (2013)","journal-title":"Stud. Log."},{"key":"573_CR21","unstructured":"Marti, M., Metcalfe, G.: Hennessy\u2013Milner properties for many-valued modal logics. In: Proceedings of AiML 2014, pp. 407\u2013420. College Publications (2014)"},{"issue":"1","key":"573_CR22","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2268660","volume":"16","author":"R McNaughton","year":"1951","unstructured":"McNaughton, R.: A theorem about infinite-valued sentential logic. J. Symb. Logic 16(1), 1\u201313 (1951)","journal-title":"J. Symb. Logic"},{"issue":"2","key":"573_CR23","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2168\/LMCS-7(2:10)2011","volume":"7","author":"G Metcalfe","year":"2011","unstructured":"Metcalfe, G., Olivetti, N.: Towards a proof theory of G\u00f6del modal logics. Log. Methods Comput. Sci. 7(2), 1\u201327 (2011)","journal-title":"Log. Methods Comput. Sci."},{"key":"573_CR24","volume-title":"Proof Theory for Fuzzy Logics","author":"G Metcalfe","year":"2008","unstructured":"Metcalfe, G., Olivetti, N., Gabbay, D.: Proof Theory for Fuzzy Logics. Springer, Berlin (2008)"},{"key":"573_CR25","first-page":"1","volume-title":"Uncertainty and Rationality","author":"G Metcalfe","year":"2010","unstructured":"Metcalfe, G., Paoli, F., Tsinakis, C.: Ordered algebras and logic. In: Hosni, H., Montagna, F. (eds.) Uncertainty and Rationality, vol. 10, pp. 1\u201385. Publications of the Scuola Normale Superiore di Pisa, Pisa (2010)"},{"key":"573_CR26","doi-asserted-by":"crossref","first-page":"190","DOI":"10.1017\/S1755020308080179","volume":"1","author":"G Priest","year":"2008","unstructured":"Priest, G.: Many-valued modal logics: a simple approach. Rev. Symb. Log. 1, 190\u2013203 (2008)","journal-title":"Rev. Symb. Log."},{"issue":"2","key":"573_CR27","doi-asserted-by":"crossref","first-page":"258","DOI":"10.1016\/j.artint.2008.10.009","volume":"173","author":"S Schockaert","year":"2009","unstructured":"Schockaert, S., De Cock, M., Kerre, E.: Spatial reasoning in a fuzzy region connection calculus. Artif. Intell. 173(2), 258\u2013298 (2009)","journal-title":"Artif. Intell."},{"key":"573_CR28","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1613\/jair.813","volume":"14","author":"U Straccia","year":"2001","unstructured":"Straccia, U.: Reasoning within fuzzy description logics. J. Artif. Intell. Res. 14, 137\u2013166 (2001)","journal-title":"J. Artif. Intell. Res."},{"issue":"1","key":"573_CR29","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1093\/logcom\/exv046","volume":"27","author":"A Vidal","year":"2017","unstructured":"Vidal, A., Godo, L., Esteva, F.: On modal extensions of product fuzzy logic. J. Log. Comput. 27(1), 299\u2013336 (2017)","journal-title":"J. Log. Comput."}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-017-0573-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-017-0573-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-017-0573-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,21]],"date-time":"2025-06-21T16:35:25Z","timestamp":1750523725000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-017-0573-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7,8]]},"references-count":29,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2018,5]]}},"alternative-id":["573"],"URL":"https:\/\/doi.org\/10.1007\/s00153-017-0573-4","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,7,8]]}}}