{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,13]],"date-time":"2025-09-13T16:20:23Z","timestamp":1757780423188},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2007,10,6]],"date-time":"2007-10-06T00:00:00Z","timestamp":1191628800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2007,10,20]]},"DOI":"10.1007\/s11225-007-9074-5","type":"journal-article","created":{"date-parts":[[2007,10,5]],"date-time":"2007-10-05T11:42:45Z","timestamp":1191584565000},"page":"13-36","source":"Crossref","is-referenced-by-count":11,"title":["A Duality for the Algebras of a \u0141ukasiewicz n\u00a0+\u00a01-valued Modal System"],"prefix":"10.1007","volume":"87","author":[{"given":"Bruno","family":"Teheux","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2007,10,6]]},"reference":[{"key":"9074_CR1","volume-title":"Modal logic, vol. 53 of Cambridge Tracts in Theoretical Computer Science","author":"Patrick Blackburn","year":"2001","unstructured":"Blackburn Patrick, Maarten de Rijke, Yde Venema (2001) Modal logic, vol. 53 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge"},{"key":"9074_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-8130-3","volume-title":"A course in universal algebra, vol. 78 of Graduate Texts in Mathematics","author":"Stanley Burris","year":"1981","unstructured":"Burris Stanley, Sankappanavar H.P. (1981) A course in universal algebra, vol. 78 of Graduate Texts in Mathematics. Springer-Verlag, New York"},{"key":"9074_CR3","volume-title":"Modal logic, vol. 35 of Oxford Logic Guides","author":"Alexander Chagrov","year":"1997","unstructured":"Chagrov Alexander, Michael Zakharyaschev (1997) Modal logic, vol. 35 of Oxford Logic Guides. Oxford Science Publications, The Clarendon Press Oxford University Press, New York"},{"key":"9074_CR4","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. (1958) \u2018Algebraic analysis of many valued logics\u2019, Trans. Amer. Math. Soc. 88: 467\u2013490","journal-title":"Trans. Amer. Math. Soc."},{"key":"9074_CR5","first-page":"74","volume":"93","author":"C.C. Chang","year":"1959","unstructured":"Chang C.C. (1959) \u2018A new proof of the completeness of the \u0141ukasiewicz axioms\u2019, Trans. Amer. Math. Soc. 93: 74\u201380","journal-title":"Trans. Amer. Math. Soc."},{"issue":"2","key":"9074_CR6","first-page":"218","volume":"2","author":"R. Cignoli","year":"1996","unstructured":"Cignoli R. (1996) \u2018Natural dualities for the algebras of \u0141ukasiewicz finite-valued logics\u2019, Bull. Symbolic Logic 2(2): 218","journal-title":"Bull. Symbolic Logic"},{"issue":"1-3","key":"9074_CR7","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1016\/j.jpaa.2003.10.021","volume":"189","author":"Roberto Cignoli","year":"2004","unstructured":"Cignoli Roberto, Eduardo J. Dubuc, Daniele Mundici (2004) \u2018Extending Stone duality to multisets and locally finite MV-algebras\u2019, J. Pure Appl. Algebra 189(1-3): 37\u201359","journal-title":"J. Pure Appl. Algebra"},{"key":"9074_CR8","volume-title":"Algebraic foundations of many-valued reasoning, vol 7 of Trends in Logic\u2014Studia Logica Library","author":"L.O. Cignoli Roberto","year":"2000","unstructured":"Cignoli Roberto L.O., Itala M.L. D\u2019Ottaviano, Daniele Mundici (2000) Algebraic foundations of many-valued reasoning, vol. 7 of Trends in Logic\u2014Studia Logica Library. Kluwer Academic Publishers, Dordrecht"},{"key":"9074_CR9","volume-title":"Natural dualities for the working algebraist, vol. 57 of Cambridge Studies in Advanced Mathematics","author":"M. Clark David","year":"1998","unstructured":"Clark David M., Brian A. Davey (1998) Natural dualities for the working algebraist, vol 57. of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge"},{"issue":"2","key":"9074_CR10","first-page":"46","volume":"6","author":"Leo Esakia","year":"1977","unstructured":"Esakia Leo, Revaz Grigolia (1977) \u2018The criterion of Brouwerian and closure algebras to be finitely generated\u2019, Polish Acad. Sci. Inst. Philos. Sociol. Bull. Sect. Logic 6(2): 46\u201352","journal-title":"Polish Acad. Sci. Inst. Philos. Sociol. Bull. Sect. Logic"},{"issue":"1-2","key":"9074_CR11","first-page":"55","volume":"17","author":"Melvin Fitting","year":"1992","unstructured":"Fitting Melvin (1992) \u2018Many-valued modal logics. II\u2019, Fund. Inform. 17(1-2): 55\u201373","journal-title":"Fund. Inform."},{"issue":"1","key":"9074_CR12","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1007\/BF01053032","volume":"55","author":"Melvin Fitting","year":"1995","unstructured":"Fitting Melvin (1995) \u2018Tableaus for many-valued modal logic\u2019, Studia Logica 55(1): 63\u201387","journal-title":"Studia Logica"},{"issue":"3-4","key":"9074_CR13","first-page":"235","volume":"15","author":"M. Fitting","year":"1991","unstructured":"Fitting M. (1991) \u2018Many-valued modal logics\u2019, Fund. Inform. 15(3-4): 235\u2013254","journal-title":"Fund. Inform."},{"issue":"1","key":"9074_CR14","doi-asserted-by":"crossref","first-page":"13","DOI":"10.7146\/math.scand.a-14428","volume":"94","author":"Mai Gehrke","year":"2004","unstructured":"Gehrke Mai, Bjarni J\u00f3nsson (2004) \u2018Bounded distributive lattice expansions\u2019, Math. Scand. 94(1): 13\u201345","journal-title":"Math. Scand."},{"issue":"1-3","key":"9074_CR15","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1016\/j.apal.2004.04.007","volume":"131","author":"Mai Gehrke","year":"2005","unstructured":"Gehrke Mai, Hideo Nagahashi, Yde Venema (2005) \u2018A Sahlqvist theorem for distributive modal logic\u2019, Ann. Pure Appl. Logic 131(1-3): 65\u2013102","journal-title":"Ann. Pure Appl. Logic"},{"key":"9074_CR16","volume-title":"A treatise on many-valued logics, vol. 9 of Studies in Logic and Computation","author":"Siegfried Gottwald","year":"2001","unstructured":"Gottwald Siegfried (2001) A treatise on many-valued logics, vol. 9 of Studies in Logic and Computation. Research Studies Press Ltd., Baldock"},{"key":"9074_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5300-3","volume-title":"Metamathematics of fuzzy logic, vol. 4 of Trends in Logic\u2014Studia Logica Library","author":"Petr H\u00e1jek","year":"1998","unstructured":"H\u00e1jek Petr (1998) Metamathematics of fuzzy logic, vol. 4 of Trends in Logic\u2014Studia Logica Library. Kluwer Academic Publishers, Dordrecht"},{"issue":"1","key":"9074_CR18","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1007\/BF01194512","volume":"17","author":"G. Hansoul","year":"1983","unstructured":"Hansoul G. (1983) \u2018A duality for Boolean algebras with operators\u2019, Algebra Universalis 17(1): 34\u201349","journal-title":"Algebra Universalis"},{"key":"9074_CR19","unstructured":"Hansoul, G., and B. Teheux, \u2018Completeness results for many-valued \u0141ukasiewicz modal systems and relational semantics\u2019, arXiv:math.LO\/0612542, 2006."},{"key":"9074_CR20","doi-asserted-by":"crossref","first-page":"891","DOI":"10.2307\/2372123","volume":"73","author":"Bjarni J\u00f3nsson","year":"1951","unstructured":"J\u00f3nsson Bjarni, Alfred Tarski (1951) \u2018Boolean algebras with operators. I\u2019, Amer. J. Math. 73: 891\u2013939","journal-title":"Amer. J. Math."},{"key":"9074_CR21","doi-asserted-by":"crossref","first-page":"127","DOI":"10.2307\/2372074","volume":"74","author":"Bjarni J\u00f3nsson","year":"1952","unstructured":"J\u00f3nsson Bjarni, Alfred Tarski (1952) \u2018Boolean algebras with operators. II\u2019, Amer. J. Math. 74: 127\u2013162","journal-title":"Amer. J. Math."},{"key":"9074_CR22","unstructured":"Kheltent, M., and G. Hansoul, \u2018Stone- $$\\tilde C$$ ech compactifications of topological structures\u2019, manuscript."},{"key":"9074_CR23","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1002\/malq.19630090502","volume":"9","author":"A. Kripke Saul","year":"1963","unstructured":"Kripke Saul A. (1963) \u2018Semantical analysis of modal logic. I. Normal modal propositional calculi\u2019, Z. Math. Logik Grundlagen Math. 9: 67\u201396","journal-title":"Z. Math. Logik Grundlagen Math."},{"key":"9074_CR24","doi-asserted-by":"crossref","unstructured":"Kupke, Clemens, Alexander Kurz, and Dirk Pattinson, \u2018Algebraic semantics for coalgebraic logics\u2019, in Proceedings of the Workshop on Coalgebraic Methods in Computer Science, vol. 106 of Electron. Notes Theor. Comput. Sci., Elsevier, Amsterdam, 2004, pp. 219\u2013241 (electronic).","DOI":"10.1016\/j.entcs.2004.02.037"},{"issue":"1-2","key":"9074_CR25","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/j.tcs.2004.07.023","volume":"327","author":"Clemens Kupke","year":"2004","unstructured":"Kupke Clemens, Alexander Kurz, Yde Venema (2004) \u2018Stone coalgebras\u2019, Theoret. Comput. Sci. 327(1-2): 109\u2013134","journal-title":"Theoret. Comput. Sci."},{"key":"9074_CR26","first-page":"170","volume":"5","author":"Jan \u0141ukasiewicz","year":"1920","unstructured":"\u0141ukasiewicz Jan (1920) \u2018O logice tr\u00f3jwarto\u015bciowej\u2019, Ruch Filozoficzny 5: 170\u2013171","journal-title":"Ruch Filozoficzny"},{"key":"9074_CR27","unstructured":"\u0141ukasiewicz, Jan, Selected works, North-Holland Publishing Co., Amsterdam, 1970. Edited by L. Borkowski, Studies in Logic and the Foundations of Mathematics."},{"key":"9074_CR28","first-page":"30","volume":"23","author":"Jan \u0141ukasiewicz","year":"1930","unstructured":"\u0141ukasiewicz Jan, Alfred Tarski (1930) \u2018Untersuchungen \u00fcber den ausagenkalk\u00fcl\u2019, Compte Rendus S\u00e9ances Soci\u00e9t\u00e9 des Sciences et Lettres Varsovie 23: 30\u201350","journal-title":"Compte Rendus S\u00e9ances Soci\u00e9t\u00e9 des Sciences et Lettres Varsovie"},{"issue":"1","key":"9074_CR29","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/BF00401552","volume":"49","author":"N.G. Mart\u00ednez","year":"1990","unstructured":"Mart\u00ednez N.G. (1990) \u2018The Priestley duality for Wajsberg algebras\u2019, Studia Logica 49(1): 31\u201346","journal-title":"Studia Logica"},{"key":"9074_CR30","doi-asserted-by":"crossref","first-page":"117","DOI":"10.2307\/2267105","volume":"6","author":"J.C.C. McKinsey","year":"1941","unstructured":"McKinsey J.C.C. (1941) \u2018A solution of the decision problem for the Lewis systems S2 and S4, with an application to topology\u2019, J. Symbolic Logic 6: 117\u2013134","journal-title":"J. Symbolic Logic"},{"issue":"1","key":"9074_CR31","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1006\/jmaa.2000.7153","volume":"255","author":"Philippe Niederkorn","year":"2001","unstructured":"Niederkorn Philippe (2001) \u2018Natural dualities for varieties of MV-algebras. I\u2019, J. Math. Anal. Appl. 255(1): 58\u201373","journal-title":"J. Math. Anal. Appl."},{"key":"9074_CR32","unstructured":"Niederkorn, Philippe, Algebraic aspects of fuzzy logic: BL-algebras and their hoop subreducts, Ph.D. thesis, University of Li\u00e8ge, 2002."},{"issue":"4","key":"9074_CR33","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1002\/malq.19880340411","volume":"34","author":"Pascal Ostermann","year":"1988","unstructured":"Ostermann Pascal (1988) \u2018Many-valued modal propositional calculi\u2019, Z. Math. Logik Grundlag. Math. 34(4): 343\u2013354","journal-title":"Z. Math. Logik Grundlag. Math."},{"key":"9074_CR34","doi-asserted-by":"crossref","unstructured":"Rescher, Nicolas, Many-valued Logic, McGraw-Hill, 1969.","DOI":"10.1007\/978-94-017-3546-9_6"},{"key":"9074_CR35","unstructured":"Rosser, J. Barkley, and Atwell R. Turquette, Many-valued logics, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Co., Amsterdam, 1951."},{"issue":"3","key":"9074_CR36","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1016\/0168-0072(88)90021-8","volume":"37","author":"Giovanni Sambin","year":"1988","unstructured":"Sambin Giovanni, Virginia Vaccaro (1988) \u2018Topology and duality in modal logic\u2019, Ann. Pure Appl. Logic, 37(3): 249\u2013296","journal-title":"Ann. Pure Appl. Logic,"},{"issue":"1","key":"9074_CR37","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1023\/B:STUD.0000034188.80692.46","volume":"77","author":"Yde Venema","year":"2004","unstructured":"Venema Yde (2004) \u2018A dual characterization of subdirectly irreducible BAOs\u2019, Studia Logica 77(1): 105\u2013115","journal-title":"Studia Logica"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-007-9074-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-007-9074-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-007-9074-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T10:24:42Z","timestamp":1559384682000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-007-9074-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,10,6]]},"references-count":37,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2007,10,20]]}},"alternative-id":["9074"],"URL":"https:\/\/doi.org\/10.1007\/s11225-007-9074-5","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,10,6]]}}}