{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,14]],"date-time":"2026-05-14T07:40:23Z","timestamp":1778744423212,"version":"3.51.4"},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"7","license":[{"start":{"date-parts":[[2018,7,11]],"date-time":"2018-07-11T00:00:00Z","timestamp":1531267200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Soft Comput"],"published-print":{"date-parts":[[2019,4]]},"DOI":"10.1007\/s00500-018-3369-5","type":"journal-article","created":{"date-parts":[[2018,7,11]],"date-time":"2018-07-11T03:59:22Z","timestamp":1531281562000},"page":"2233-2241","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Toward a general frame semantics for modal many-valued logics"],"prefix":"10.1007","volume":"23","author":[{"given":"Petr","family":"Cintula","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paula","family":"Mench\u00f3n","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carles","family":"Noguera","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,7,11]]},"reference":[{"key":"3369_CR1","unstructured":"Bandler W, Kohout LJ (1978) Fuzzy relational products and fuzzy implication operators. In: International workshop of fuzzy reasoning theory and applications. Queen Mary College, University of London, London"},{"issue":"1","key":"3369_CR2","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1016\/j.fss.2004.12.010","volume":"154","author":"L B\u011bhounek","year":"2005","unstructured":"B\u011bhounek L, Cintula P (2005) Fuzzy class theory. Fuzzy Sets Syst 154(1):34\u201355","journal-title":"Fuzzy Sets Syst"},{"issue":"8","key":"3369_CR3","doi-asserted-by":"publisher","first-page":"1005","DOI":"10.1016\/j.fss.2008.06.013","volume":"160","author":"L B\u011bhounek","year":"2009","unstructured":"B\u011bhounek L, Da\u0148kov\u00e1 M (2009) Relational compositions in fuzzy class theory. Fuzzy Sets Syst 160(8):1005\u20131036","journal-title":"Fuzzy Sets Syst"},{"issue":"3","key":"3369_CR4","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1023\/A:1005291931660","volume":"65","author":"GM Bierman","year":"2000","unstructured":"Bierman GM, de Paiva V (2000) On an intuitionistic modal logic. Stud Log 65(3):383\u2013416","journal-title":"Stud Log"},{"key":"3369_CR5","doi-asserted-by":"crossref","unstructured":"B\u00edlkov\u00e1 M, Dost\u00e1l M (2016) Expressivity of many-valued modal logics, coalgebraically. In: V\u00e4\u00e4n\u00e4nen JA, Hirvonen \u00c5, de\u00a0Queiroz RJGB (eds) Logic, language, information, and computation\u201423rd international workshop, WoLLIC 2016, volume 9803 of Lecture notes in computer science, pp 109\u2013124. Springer, Berlin","DOI":"10.1007\/978-3-662-52921-8_8"},{"key":"3369_CR6","first-page":"175","volume":"15","author":"F Bou","year":"2008","unstructured":"Bou F, Esteva F, Godo L (2008) Exploring a syntactic notion of modal many-valued logics. Mathw Soft Comput 15:175\u2013188","journal-title":"Mathw Soft Comput"},{"issue":"5","key":"3369_CR7","doi-asserted-by":"publisher","first-page":"739","DOI":"10.1093\/logcom\/exp062","volume":"21","author":"F Bou","year":"2011","unstructured":"Bou F, Esteva F, Godo L, Rodr\u00edguez RO (2011) On the minimum many-valued modal logic over a finite residuated lattice. J Log Comput 21(5):739\u2013790","journal-title":"J Log Comput"},{"issue":"2","key":"3369_CR8","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/s11225-010-9230-1","volume":"94","author":"X Caicedo","year":"2010","unstructured":"Caicedo X, Rodr\u00edguez RO (2010) Standard G\u00f6del modal logics. Stud Log 94(2):189\u2013214","journal-title":"Stud Log"},{"issue":"1","key":"3369_CR9","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1093\/logcom\/exs036","volume":"25","author":"X Caicedo","year":"2015","unstructured":"Caicedo X, Rodr\u00edguez RO (2015) Bi-modal G\u00f6del logic over \n                    \n                      \n                    \n                    $$[0,1]$$\n                    \n                      \n                        \n                          [\n                          0\n                          ,\n                          1\n                          ]\n                        \n                      \n                    \n                  -valued kripke frames. J Log Comput 25(1):37\u201355","journal-title":"J Log Comput"},{"key":"3369_CR10","doi-asserted-by":"publisher","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 RO, Rogger J (2017) Decidability of order-based modal logics. J Comput Syst Sci 88:53\u201374","journal-title":"J Comput Syst Sci"},{"key":"3369_CR11","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal logic: an introduction","author":"BF Chellas","year":"1980","unstructured":"Chellas BF (1980) Modal logic: an introduction. Cambridge University Press, Cambridge"},{"key":"3369_CR12","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1007\/s00153-017-0577-0","volume":"57","author":"P Cintula","year":"2018","unstructured":"Cintula P, Noguera C (2018) Implicational (semilinear) logics III: completeness properties. Arch Math Log 57:391\u2013420","journal-title":"Arch Math Log"},{"key":"3369_CR13","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/j.fss.2017.10.009","volume":"345","author":"P Cintula","year":"2018","unstructured":"Cintula P, Noguera C (2018) Neighborhood semantics for modal many-valued logics. Fuzzy Sets Syst 345:99\u2013112","journal-title":"Fuzzy Sets Syst"},{"key":"3369_CR14","unstructured":"Cintula P, Ferm\u00fcller C.G, H\u00e1jek, P, Noguera C (eds) (2015) Handbook of mathematical fuzzy logic (in three volumes), volume 37, 38, and 58 of studies in logic, mathematical logic and foundations. College Publications, London, vol 2011"},{"key":"3369_CR15","first-page":"235","volume":"15","author":"M Fitting","year":"1992","unstructured":"Fitting M (1992) Many-valued modal logics. Fundam Inf 15:235\u2013254","journal-title":"Fundam Inf"},{"key":"3369_CR16","first-page":"55","volume":"17","author":"M Fitting","year":"1992","unstructured":"Fitting M (1992) Many-valued modal logics II. Fundam Inf 17:55\u201373","journal-title":"Fundam Inf"},{"issue":"4","key":"3369_CR17","doi-asserted-by":"publisher","first-page":"501","DOI":"10.1007\/BF00370161","volume":"49","author":"A Fuhrmann","year":"1990","unstructured":"Fuhrmann A (1990) Models for relevant modal logics. Stud Log 49(4):501\u2013514","journal-title":"Stud Log"},{"key":"3369_CR18","volume-title":"Residuated lattices: an algebraic glimpse at substructural logics","author":"N Galatos","year":"2007","unstructured":"Galatos N, Jipsen P, Kowalski T, Ono H (2007) Residuated lattices: an algebraic glimpse at substructural logics, vol 151. Elsevier, Amsterdam"},{"key":"3369_CR19","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-5300-3","volume-title":"Metamathematics of fuzzy logic","author":"P H\u00e1jek","year":"1998","unstructured":"H\u00e1jek P (1998) Metamathematics of fuzzy logic, vol 4. Kluwer, Dordrecht"},{"issue":"18","key":"3369_CR20","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 (2010) On fuzzy modal logics S5. Fuzzy Sets Syst 161(18):2389\u20132396","journal-title":"Fuzzy Sets Syst"},{"issue":"3","key":"3369_CR21","doi-asserted-by":"publisher","first-page":"505","DOI":"10.1007\/s11225-012-9396-9","volume":"101","author":"G Hansoul","year":"2013","unstructured":"Hansoul G, Teheux B (2013) Extending \u0141ukasiewicz logics with a modality: algebraic approach to relational semantics. Stud Log 101(3):505\u2013545","journal-title":"Stud Log"},{"key":"3369_CR22","first-page":"469","volume-title":"Handbook of mathematical fuzzy logic\u2014studies in logic, mathematical logic and foundations","author":"I Leu\u015ftean","year":"2011","unstructured":"Leu\u015ftean I, Di Nola A (2011) \u0141ukasiewicz logic and MV-algebras. In: Cintula P, H\u00e1jek P, Noguera C (eds) Handbook of mathematical fuzzy logic\u2014studies in logic, mathematical logic and foundations, vol 38. College Publications, London, pp 469\u2013583"},{"key":"3369_CR23","unstructured":"Marti M, Metcalfe G (2014) A Hennessy\u2013Milner property for many-valued modal logics. In: Gor\u00e9 R, Kooi B, Kurucz A (eds) Advances in Modal Logic, vol 10. College Publications, London, pp 407\u2013420"},{"key":"3369_CR24","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2168\/LMCS-7(2:10)2011","volume":"7","author":"G Metcalfe","year":"2011","unstructured":"Metcalfe G, Olivetti N (2011) Towards a proof theory of G\u00f6del modal logics. Log Methods Comput Sci 7:1\u201327","journal-title":"Log Methods Comput Sci"},{"issue":"3","key":"3369_CR25","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1111\/j.1755-2567.1970.tb00434.x","volume":"36","author":"R Montague","year":"1970","unstructured":"Montague R (1970) Universal grammar. Theoria 36(3):373\u2013398","journal-title":"Theoria"},{"key":"3369_CR26","doi-asserted-by":"publisher","DOI":"10.4324\/9780203252642","volume-title":"An introduction to substructural logics","author":"G Restall","year":"2000","unstructured":"Restall G (2000) An introduction to substructural logics. Routledge, New York"},{"key":"3369_CR27","unstructured":"Rodr\u00edguez RO, Godo L (2013) Modal uncertainty logics with fuzzy neighborhood semantics. In: Godo L, Prade H, Qi G (eds) IJCAI-13 workshop on weighted logics for artificial intelligence (WL4AI-2013), pp 79\u201386"},{"key":"3369_CR28","unstructured":"Rodr\u00edguez RO, Godo L (2015) On the fuzzy modal logics of belief \n                    \n                      \n                    \n                    $${KD}45(\\cal{A})$$\n                    \n                      \n                        \n                          \n                            KD\n                          \n                          45\n                          (\n                          A\n                          )\n                        \n                      \n                    \n                   and \n                    \n                      \n                    \n                    $${Prob}$$\n                    \n                      \n                        \n                          Prob\n                        \n                      \n                    \n                  (\u0141\n                    \n                      \n                    \n                    $$_n)$$\n                    \n                      \n                        \n                          \n                            \n                            n\n                          \n                          \n                            )\n                          \n                        \n                      \n                    \n                  :axiomatization and neighbourhood semantics. In: Finger M, Godo L, Prade H, Qi G (eds) IJCAI-15 workshop on weighted logics for artificial intelligence (WL4AI-2015), pp 64\u201371"},{"issue":"1","key":"3369_CR29","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/BF00649991","volume":"1","author":"R Routley","year":"1972","unstructured":"Routley R, Meyer RK (1972) Semantics of entailment\u2014II. J Philos Log 1(1):194\u2013243","journal-title":"J Philos Log"},{"key":"3369_CR30","series-title":"Number 29 in Synthese Library","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/978-94-010-3272-8_7","volume-title":"Philosophical problems in logic","author":"D Scott","year":"1970","unstructured":"Scott D (1970) Advice on modal logic. In: Lambert K (ed) Philosophical problems in logic. Number 29 in Synthese Library. Springer, Dordrecht, pp 143\u2013173"},{"key":"3369_CR31","unstructured":"Vidal A (2015) On modal expansions of t-norm based logics with rational constants. Ph.D. thesis, University of Barcelona, Barcelona"},{"issue":"1","key":"3369_CR32","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1093\/logcom\/exv046","volume":"27","author":"A Vidal","year":"2017","unstructured":"Vidal A, Esteva F, Godo L (2017) On modal extensions of product fuzzy logic. J Log Comput 27(1):299\u2013336","journal-title":"J Log Comput"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00500-018-3369-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-018-3369-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-018-3369-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,31]],"date-time":"2019-08-31T10:02:00Z","timestamp":1567245720000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00500-018-3369-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,7,11]]},"references-count":32,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2019,4]]}},"alternative-id":["3369"],"URL":"https:\/\/doi.org\/10.1007\/s00500-018-3369-5","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"value":"1432-7643","type":"print"},{"value":"1433-7479","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,7,11]]},"assertion":[{"value":"11 July 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Compliance with ethical standards"}},{"value":"The authors are supported by the bilateral travel Project CONICET-CAS 16-04 \u2018First-order many-valued logics.\u2019 Cintula and Noguera were also supported by the Grant GA17-04630S of the Czech Science Foundation. Cintula also acknowledges the support of RVO 67985807 and Mench\u00f3n of CONICET under Grant PIP 112-201501-00412","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Funding"}},{"value":"The authors declare they have no conflict of interest. This article does not contain any studies with human participants or animals performed by any of the authors","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}]}}