{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T23:51:44Z","timestamp":1772841104248,"version":"3.50.1"},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2020,6,8]],"date-time":"2020-06-08T00:00:00Z","timestamp":1591574400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,6,8]],"date-time":"2020-06-08T00:00:00Z","timestamp":1591574400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/100010665","name":"H2020 Marie Sklodowska-Curie Actions","doi-asserted-by":"publisher","award":["689176"],"award-info":[{"award-number":["689176"]}],"id":[{"id":"10.13039\/100010665","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001823","name":"Ministerstvo \u0160kolstv\u00ed, Ml\u00e1de\u017ee a Telov\u00fdchovy","doi-asserted-by":"publisher","award":["CZ.02.2.69\/0.0\/0.0\/17 050\/0008361"],"award-info":[{"award-number":["CZ.02.2.69\/0.0\/0.0\/17 050\/0008361"]}],"id":[{"id":"10.13039\/501100001823","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003329","name":"Ministerio de Econom\u00eda y Competitividad","doi-asserted-by":"publisher","award":["TIN2015-71799- C2-1-P"],"award-info":[{"award-number":["TIN2015-71799- C2-1-P"]}],"id":[{"id":"10.13039\/501100003329","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002923","name":"Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas","doi-asserted-by":"publisher","award":["11220150100412CO"],"award-info":[{"award-number":["11220150100412CO"]}],"id":[{"id":"10.13039\/501100002923","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100007351","name":"Secretaria de Ciencia y Tecnica, Universidad de Buenos Aires","doi-asserted-by":"publisher","award":["20020150100002BA"],"award-info":[{"award-number":["20020150100002BA"]}],"id":[{"id":"10.13039\/501100007351","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2021,4]]},"DOI":"10.1007\/s11225-020-09910-5","type":"journal-article","created":{"date-parts":[[2020,6,8]],"date-time":"2020-06-08T21:02:32Z","timestamp":1591650152000},"page":"367-395","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Axiomatization of Crisp G\u00f6del Modal Logic"],"prefix":"10.1007","volume":"109","author":[{"given":"Ricardo Oscar","family":"Rodriguez","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6730-6491","authenticated-orcid":false,"given":"Amanda","family":"Vidal","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,6,8]]},"reference":[{"issue":"5","key":"9910_CR1","doi-asserted-by":"publisher","first-page":"739","DOI":"10.1093\/logcom\/exp062","volume":"21","author":"F Bou","year":"2011","unstructured":"Bou, F., F.\u00a0Esteva, L.\u00a0Godo, and R.\u00a0Rodriguez, On the minimum many-valued modal logic over a finite residuated lattice, Journal of Logic and Computation 21(5): 739\u2013790, 2011.","journal-title":"Journal of Logic and Computation"},{"key":"9910_CR2","doi-asserted-by":"crossref","unstructured":"Caicedo, X., G.\u00a0Metcalfe, R.\u00a0Rodriguez, and J.\u00a0Rogger, A finite model property for G\u00f6del modal logics, in L.\u00a0Libkin, U.\u00a0Kohlenbach, and R.\u00a0de\u00a0Queiroz, (eds.), Workshop on Logic, Language, Information, and Computation (WOLLIC), vol. 8071 of LNCS, Springer, 2013, pp. 226\u2013237.","DOI":"10.1007\/978-3-642-39992-3_20"},{"issue":"1","key":"9910_CR3","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1093\/logcom\/exs036","volume":"25","author":"X Caicedo","year":"2015","unstructured":"Caicedo, X., and R.\u00a0O. Rodriguez, Bi-modal G\u00f6del logic over $$[0,1]$$-valued Kripke frames, Journal of Logic and Computation 25(1): 37\u201355, 2015.","journal-title":"Journal of Logic and Computation"},{"issue":"2","key":"9910_CR4","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/s11225-010-9230-1","volume":"94","author":"X Caicedo","year":"2010","unstructured":"Caicedo, X., and R. O. Rodriguez, Standard G\u00f6del modal logics, Studia Logica 94(2): 189\u2013214, 2010.","journal-title":"Studia Logica"},{"key":"9910_CR5","doi-asserted-by":"publisher","unstructured":"Casta\u00f1o, D.,C. Cimadamore, J. P. D\u00edaz Varela, and L. Rueda, Completeness for monadic fuzzy logics via functional algebras. Fuzzy Sets and Systems (to appear, 2020). https:\/\/doi.org\/10.1016\/j.fss.2020.02.002.","DOI":"10.1016\/j.fss.2020.02.002"},{"key":"9910_CR6","doi-asserted-by":"publisher","first-page":"97","DOI":"10.2307\/2964753","volume":"24","author":"M Dummett","year":"1959","unstructured":"Dummett, M., A propositional calculus with denumerable matrix, The Journal of Symbolic Logic 24: 97\u2013106, 1959.","journal-title":"The Journal of Symbolic Logic"},{"issue":"2","key":"9910_CR7","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1007\/BF01061239","volume":"55","author":"JM Dunn","year":"1995","unstructured":"Dunn, J.\u00a0M., Positive modal logic, Studia Logica 55(2): 301\u2013317, 1995.","journal-title":"Studia Logica"},{"key":"9910_CR8","first-page":"179","volume":"42","author":"G Fischer-Servi","year":"1984","unstructured":"Fischer-Servi, G., Axiomatizations for some intuitionistic modal logics, Rend. Sem. Mat. Univ. Politec. Torino 42: 179\u2013194, 1984.","journal-title":"Rend. Sem. Mat. Univ. Politec. Torino"},{"key":"9910_CR9","doi-asserted-by":"crossref","first-page":"235","DOI":"10.3233\/FI-1991-153-404","volume":"15","author":"M Fitting","year":"1992","unstructured":"Fitting, M., Many-valued modal logics, Fundamenta Informaticae 15: 235\u2013254, 1992.","journal-title":"Fundamenta Informaticae"},{"key":"9910_CR10","doi-asserted-by":"crossref","first-page":"55","DOI":"10.3233\/FI-1992-171-205","volume":"17","author":"M Fitting","year":"1992","unstructured":"Fitting, M., Many-valued modal logics, II, Fundamenta Informaticae 17: 55\u201373, 1992.","journal-title":"Fundamenta Informaticae"},{"key":"9910_CR11","doi-asserted-by":"crossref","unstructured":"H\u00e1jek, P., Metamathematics of fuzzy logic, vol.\u00a04 of Trends in Logic\u2014Studia Logica Library, Kluwer Academic Publishers, Dordrecht, 1998.","DOI":"10.1007\/978-94-011-5300-3"},{"key":"9910_CR12","doi-asserted-by":"publisher","first-page":"2389","DOI":"10.1016\/j.fss.2009.11.011","volume":"161","author":"P H\u00e1jek","year":"2010","unstructured":"H\u00e1jek, P., On fuzzy modal logics S5(C), Fuzzy Sets and Systems 161: 2389\u20132396, 2010.","journal-title":"Fuzzy Sets and Systems"},{"issue":"3","key":"9910_CR13","doi-asserted-by":"publisher","first-page":"505","DOI":"10.1007\/s11225-012-9396-9","volume":"101","author":"G Hansoul","year":"2013","unstructured":"Hansoul, G., and B.\u00a0Teheux, Extending \u0141ukasiewicz logics with a modality: Algebraic approach to relational semantics, Studia Logica 101(3): 505\u2013545, 2013.","journal-title":"Studia Logica"},{"issue":"3","key":"9910_CR14","doi-asserted-by":"publisher","first-page":"395","DOI":"10.2307\/2270905","volume":"34","author":"A Horn","year":"1969","unstructured":"Horn, A., Logic with truth values in a linearly ordered Heyting algebra, The Journal of Symbolic Logic 34(3): 395\u2013409, 1969.","journal-title":"The Journal of Symbolic Logic"},{"issue":"4","key":"9910_CR15","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1023\/A:1019915908844","volume":"11","author":"N Kamide","year":"2002","unstructured":"Kamide, N., Kripke semantics for modal substructural logics, Journal of Logic, Language and Information, 11(4): 455\u2013470, 2002.","journal-title":"Journal of Logic, Language and Information"},{"key":"9910_CR16","doi-asserted-by":"crossref","unstructured":"Metcalfe, G., and N.\u00a0Olivetti, Proof systems for a G\u00f6del modal logic, in M.\u00a0Giese, and A.\u00a0Waaler, (eds.), Proceedings of TABLEAUX 2009, vol. 5607 of LNAI, Springer, 2009, pp. 265\u2013279.","DOI":"10.1007\/978-3-642-02716-1_20"},{"issue":"2","key":"9910_CR17","doi-asserted-by":"publisher","first-page":"27","DOI":"10.2168\/LMCS-7(2:10)2011","volume":"7","author":"G Metcalfe","year":"2011","unstructured":"Metcalfe, G., and N.\u00a0Olivetti, Towards a proof theory of G\u00f6del modal logics, Logical Methods in Computer Science 7(2): 27, 2011.","journal-title":"Logical Methods in Computer Science"},{"key":"9910_CR18","doi-asserted-by":"publisher","first-page":"12","DOI":"10.4064\/fm-44-1-12-36","volume":"44","author":"A Mostowski","year":"1957","unstructured":"Mostowski, A., On a generalization of quantifiers, Fundamenta Mathematicae 44: 12\u201336, 1957.","journal-title":"Fundamenta Mathematicae"},{"key":"9910_CR19","doi-asserted-by":"crossref","unstructured":"Ono, H., Semantics for substructural logics, in K.\u00a0Do\u0161en, and P.\u00a0Schroeder-Heister, (eds.), Substructural logics, Oxford University Press, 1993, pp. 259\u2013291.","DOI":"10.1093\/oso\/9780198537779.003.0010"},{"issue":"2","key":"9910_CR20","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1017\/S1755020308080179","volume":"1","author":"G Priest","year":"2008","unstructured":"Priest, G., Many-valued modal logics: a simple approach, The Review of Symbolic Logic 1(2): 190\u2013203, 2008.","journal-title":"The Review of Symbolic Logic"},{"issue":"141\u2013142","key":"9910_CR21","first-page":"25","volume":"36","author":"G Restall","year":"1993","unstructured":"Restall, G., Modalities in substructural logics, Logique Analyse 36(141\u2013142): 25\u201338, 1993.","journal-title":"Logique Analyse"},{"issue":"1","key":"9910_CR22","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1093\/logcom\/exv046","volume":"27","author":"A Vidal","year":"2017","unstructured":"Vidal, A., F.\u00a0Esteva, and L.\u00a0Godo, On modal extensions of product fuzzy logic, Journal of Logic and Computation 27(1): 299\u2013336, 2017.","journal-title":"Journal of Logic and Computation"},{"key":"9910_CR23","doi-asserted-by":"publisher","unstructured":"Vidal, A., F.\u00a0Esteva, and L.\u00a0Godo, Axiomatizing logics of fuzzy preferences using graded modalities, Fuzzy Sets and Systems (to appear, 2020). https:\/\/doi.org\/10.1016\/j.fss.2020.01.002.","DOI":"10.1016\/j.fss.2020.01.002"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-020-09910-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-020-09910-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-020-09910-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,7]],"date-time":"2024-08-07T05:46:45Z","timestamp":1723009605000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-020-09910-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6,8]]},"references-count":23,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2021,4]]}},"alternative-id":["9910"],"URL":"https:\/\/doi.org\/10.1007\/s11225-020-09910-5","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,6,8]]},"assertion":[{"value":"3 October 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 June 2020","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}