{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,4,1]],"date-time":"2024-04-01T17:49:04Z","timestamp":1711993744637},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2016,1,6]],"date-time":"2016-01-06T00:00:00Z","timestamp":1452038400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/100008665","name":"Universit\u00e9 du Luxembourg (LU)","doi-asserted-by":"publisher","award":["F1R-MTH-PUL-15MRO3"],"id":[{"id":"10.13039\/100008665","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2016,4]]},"DOI":"10.1007\/s11225-015-9643-y","type":"journal-article","created":{"date-parts":[[2016,1,6]],"date-time":"2016-01-06T15:48:12Z","timestamp":1452095292000},"page":"343-363","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Modal Definability Based on \u0141ukasiewicz Validity Relations"],"prefix":"10.1007","volume":"104","author":[{"given":"Bruno","family":"Teheux","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,1,6]]},"reference":[{"key":"9643_CR1","doi-asserted-by":"crossref","unstructured":"Bell, J. L., Polymodal lattices and polymodal logic, Mathematical Logic Quarterly 42: 219\u2013233.","DOI":"10.1002\/malq.19960420119"},{"key":"9643_CR2","doi-asserted-by":"crossref","unstructured":"Blackburn, P., M. de Rijke, and Y. Venema, Modal logic, Cambridge Tracts in Theoretical Computer Science, vol. 53, Cambridge University Press, Cambridge, 2001.","DOI":"10.1017\/CBO9781107050884"},{"key":"9643_CR3","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1090\/S0002-9947-1958-0094302-9","volume":"88","author":"C.C. Chang","year":"1958","unstructured":"Chang C.C.: Algebraic analysis of many valued logics. Transactions of the American Mathematical Society 88, 467\u2013490 (1958)","journal-title":"Transactions of the American Mathematical Society"},{"key":"9643_CR4","first-page":"74","volume":"93","author":"C.C. Chang","year":"1959","unstructured":"Chang C. C., A new proof of the completeness of the \u0141ukasiewicz axioms, Transactions of the American Mathematical Society 93, 74\u201380 (1959)","journal-title":"Transactions of the American Mathematical Society"},{"key":"9643_CR5","unstructured":"Chang, C. C., and H. J. Keisler, Model Theory, 3rd edn., North-Holland, Amsterdam, 1990."},{"key":"9643_CR6","doi-asserted-by":"crossref","unstructured":"Cignoli, R. L. O., I. M. L. D\u2019Ottaviano, and D. Mundici, Algebraic Foundations of Many-Valued Reasoning, Trends in Logic\u2014Studia Logica Library, vol. 7, Kluwer, Dordrecht, 2000.","DOI":"10.1007\/978-94-015-9480-6_2"},{"issue":"5","key":"9643_CR7","doi-asserted-by":"crossref","first-page":"739","DOI":"10.1093\/logcom\/exp062","volume":"21","author":"B. F\u00e9lix","year":"2011","unstructured":"F\u00e9lix B., Esteva F., Godo L., Rodr\u00edguez R.O.: 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"},{"issue":"1","key":"9643_CR8","doi-asserted-by":"crossref","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. Mathematica Scandinavica 94(1), 13\u201345 (2004)","journal-title":"Mathematica Scandinavica"},{"issue":"2","key":"9643_CR9","doi-asserted-by":"crossref","first-page":"419","DOI":"10.2178\/jsl\/1052669058","volume":"68","author":"G. Goguadze","year":"2003","unstructured":"Goguadze G., Piazza C., Venema Y.: Simulating polyadic modal Logics by monadic ones. The Journal of Symbolic Logic 68(2), 419\u2013462 (2003)","journal-title":"The Journal of Symbolic Logic"},{"key":"9643_CR10","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/0168-0072(89)90032-8","volume":"44","author":"R. Goldblatt","year":"1989","unstructured":"Goldblatt R.: Varieties of complex algebras. Annals of Pure and Applied Logic 44, 173\u2013242 (1989)","journal-title":"Annals of Pure and Applied Logic"},{"key":"9643_CR11","doi-asserted-by":"crossref","unstructured":"Goldblatt, R., and S. Thomason, Axiomatic classes in propositional modal logic, in Algebra and Logic, Springer, Berlin, 1975, pp. 163\u2013173.","DOI":"10.1007\/BFb0062855"},{"key":"9643_CR12","unstructured":"Hansoul, G., and B. Teheux, Completeness results for many-valued \u0141ukasiewicz modal systems and relational semantics, arXiv preprint math\/0612542, 2006."},{"issue":"3","key":"9643_CR13","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. Studia Logica 101(3), 505\u2013545 (2013)","journal-title":"Studia Logica"},{"key":"9643_CR14","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. Journal of Symbolic Logic 16, 1\u201313 (1951)","journal-title":"Journal of Symbolic Logic"},{"issue":"1","key":"9643_CR15","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1006\/jmaa.2000.7153","volume":"255","author":"P. Niederkorn","year":"2001","unstructured":"Niederkorn P.: Natural dualities for varieties of MV-algebras, I. Journal of Mathematical Analysis and Applications 255(1), 58\u201373 (2001)","journal-title":"Journal of Mathematical Analysis and Applications"},{"issue":"4","key":"9643_CR16","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1002\/malq.19880340411","volume":"34","author":"P. Ostermann","year":"1988","unstructured":"Ostermann P.: Many-valued modal propositional calculi. Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik 34(4), 343\u2013354 (1988)","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"9643_CR17","unstructured":"Teheux, B., Algebraic approach to modal extensions of \u0141ukasiewicz logics, PhD thesis, University of Li\u00e8ge, 2009."},{"issue":"4","key":"9643_CR18","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1016\/j.jal.2014.04.001","volume":"12","author":"B. Teheux","year":"2014","unstructured":"Teheux B.: Propositional dynamic logic for searching games with errors. Journal of Applied Logic 12(4), 377\u2013394 (2014)","journal-title":"Journal of Applied Logic"},{"key":"9643_CR19","unstructured":"van Benthem, J., Modal correspondence theory, PhD thesis, Mathematisch Instituut & Instituut voor Grondslagenonderzoek, University of Amsterdam, 1976."},{"issue":"1","key":"9643_CR20","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2273696","volume":"44","author":"J. van Benthem","year":"1979","unstructured":"van Benthem J.: Canonical modal logics and ultrafilter extensions. The Journal of Symbolic Logic 44(1), 1\u20138 (1979)","journal-title":"The Journal of Symbolic Logic"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-015-9643-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-015-9643-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-015-9643-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,3]],"date-time":"2019-09-03T06:53:37Z","timestamp":1567493617000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-015-9643-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,1,6]]},"references-count":20,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2016,4]]}},"alternative-id":["9643"],"URL":"https:\/\/doi.org\/10.1007\/s11225-015-9643-y","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,1,6]]}}}