{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,2]],"date-time":"2025-10-02T10:26:34Z","timestamp":1759400794090,"version":"3.37.3"},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2024,3,6]],"date-time":"2024-03-06T00:00:00Z","timestamp":1709683200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,3,6]],"date-time":"2024-03-06T00:00:00Z","timestamp":1709683200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/501100012456","name":"National Social Science Fund of China","doi-asserted-by":"publisher","award":["18ZDA033"],"award-info":[{"award-number":["18ZDA033"]}],"id":[{"id":"10.13039\/501100012456","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2025,2]]},"DOI":"10.1007\/s11225-024-10095-4","type":"journal-article","created":{"date-parts":[[2024,3,6]],"date-time":"2024-03-06T08:02:25Z","timestamp":1709712145000},"page":"49-78","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Kripke-Completeness and Sequent Calculus for Quasi-Boolean Modal Logic"],"prefix":"10.1007","volume":"113","author":[{"given":"Minghui","family":"Ma","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juntong","family":"Guo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,3,6]]},"reference":[{"key":"10095_CR1","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/978-94-010-1161-7_2","volume-title":"Modern Uses of Multiple-Valued Logic","author":"N Belnap","year":"1977","unstructured":"Belnap, N., A useful four-valued logic, in J. M. Dunn, and G. Epstein, (eds.), Modern Uses of Multiple-Valued Logic, D. Reidel Publishing Company, Dordrecht, 1977, pp. 5\u201337."},{"key":"10095_CR2","first-page":"259","volume":"5","author":"A Bia\u0142ynicki-Birula","year":"1957","unstructured":"Bia\u0142ynicki-Birula, A., and H. Rasiowa, On the representation of quasi-Boolean algebras, Bulletin de l\u2019Acad\u00e9mie Polonaise des Sciences Classe III, Bd. 5: 259\u2013261, 1957.","journal-title":"Bulletin de l\u2019Acad\u00e9mie Polonaise des Sciences Classe III"},{"key":"10095_CR3","volume-title":"and Y","author":"P Blackburn","year":"2001","unstructured":"Blackburn, P., M. de Rijke, and Y. Venema, Modal Logic, Cambridge University Press, 2001."},{"key":"10095_CR4","unstructured":"Celani, S., L\u00f3gicas modales distributivas y de De Morgan, Ph.D. Thesis, Universidad de Barcelona, 1995."},{"issue":"1","key":"10095_CR5","first-page":"1","volume":"38","author":"S Celalni","year":"1997","unstructured":"Celalni, S., A new semantics for positive modal logic, Notre Dame Journal of Formal Logic, 38(1): 1\u201319, 1997.","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"6","key":"10095_CR6","doi-asserted-by":"publisher","first-page":"683","DOI":"10.1093\/jigpal\/7.6.683","volume":"7","author":"S Celani","year":"1999","unstructured":"Celani, S., and R. Jansana, Priestly duality, a Sahlqvist theorem and a Goldblatt\u2013Thomason theorem for positive modal logic, Logic Journal of the IGPL 7(6): 683\u2013715, 1999.","journal-title":"Logic Journal of the IGPL"},{"key":"10095_CR7","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/s11225-011-9328-0","volume":"98","author":"S Celani","year":"2011","unstructured":"Celani, S., Classical modal De Morgan algebras, Studia Logica 98: 251\u2013266, 2011.","journal-title":"Studia Logica"},{"key":"10095_CR8","doi-asserted-by":"crossref","unstructured":"Chagrov, A., and M. Zakharyaschev, Modal Logic, Clarendon Press, 1997.","DOI":"10.1093\/oso\/9780198537793.001.0001"},{"issue":"1","key":"10095_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S0004972700022966","volume":"16","author":"WH Cornish","year":"1977","unstructured":"Cornish, W. H. and P. R. Fowler, Coproducts of de Morgan algebras, Bulletin of the Australian Mathematical Society, 16(1): 1\u201313, 1977.","journal-title":"Bulletin of the Australian Mathematical Society"},{"key":"10095_CR10","doi-asserted-by":"crossref","unstructured":"Davey, B. A. and H. A. Priestley, Introduction to Lattices and Order. Second edition. Cambridge University Press, 2002.","DOI":"10.1017\/CBO9780511809088"},{"key":"10095_CR11","unstructured":"Dunn, J. M., The Algebra of Intensional Logics, Ph.D. Thesis. University of Pittsburg, 1966."},{"key":"10095_CR12","first-page":"433","volume":"32","author":"JM Dunn","year":"1967","unstructured":"Dunn, J. M., The effective equivalence of certain propositions about De Morgan lattices, The Journal of Symbolic Logic 32: 433\u2013434, 1967.","journal-title":"The Journal of Symbolic Logic"},{"issue":"4","key":"10095_CR13","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1305\/ndjfl\/1093870147","volume":"23","author":"JM Dunn","year":"1982","unstructured":"Dunn, J. M., A relational representation of quasi-Boolean algebras, Notre Dame Journal of Formal Logic, 23(4): 353\u2013357, 1982.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10095_CR14","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1007\/BF01061239","volume":"55","author":"M Dunn","year":"1995","unstructured":"Dunn, M., Positive modal logic, Studia Logica 55: 301\u2013317, 1995.","journal-title":"Studia Logica"},{"key":"10095_CR15","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/978-94-015-9309-0_2","volume-title":"What is Negation?","author":"JM Dunn","year":"1999","unstructured":"Dunn, J. M., A comparative study of various model-theoretic treatments of negation: a history of formal negation, in D. M. Gabbay, and H. Wansing, (eds.), What is Negation?, Kluwer Academic Publishers, 1999, pp. 23\u201351."},{"key":"10095_CR16","first-page":"162","volume-title":"Relational representation theorems for general lattices with negations, in Relations and Kleene Algebra in Computer Science, LNCS 4136","author":"W Dzik","year":"2006","unstructured":"Dzik, W., E. Or\u0142owska, and C. van Alten, Relational representation theorems for general lattices with negations, in Relations and Kleene Algebra in Computer Science, LNCS 4136, Springer, Berlin, 2006, pp. 162\u2013176"},{"issue":"2","key":"10095_CR17","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1093\/jigpal\/jzt024","volume":"22","author":"AV Figallo","year":"2014","unstructured":"Figallo, A. V., and G. Pelaitay, Tense operators on De Morgan algebras, Logic Journal of the IGPL, 22(2): 255\u2013267, 2014.","journal-title":"Logic Journal of the IGPL"},{"key":"10095_CR18","doi-asserted-by":"crossref","unstructured":"Fine, K., Some connections between elementary and modal logic, in S. Kanger, (ed.), Proceedings of the Third Scandinavian Logic Symposium, Noth-Holland, Amsterdam, 1975, pp. 13\u201331.","DOI":"10.1016\/S0049-237X(08)70723-7"},{"key":"10095_CR19","doi-asserted-by":"publisher","first-page":"481","DOI":"10.2307\/2586552","volume":"65","author":"JM Font","year":"2000","unstructured":"Font, J. M., and M. Rius, An abstract algebraic logic approach to tetravalent modal logics, The Journal of Symbolic Logic, 65: 481\u2013518, 2000.","journal-title":"The Journal of Symbolic Logic"},{"issue":"3","key":"10095_CR20","first-page":"413","volume":"5","author":"JM Font","year":"1997","unstructured":"Font, J. M., Belnap\u2019s four-valued logic and De Morgan lattices, Logic Journal of IGP 5(3): 413\u2013440, 1997.","journal-title":"Logic Journal of IGP"},{"key":"10095_CR21","doi-asserted-by":"publisher","first-page":"481","DOI":"10.2307\/2586552","volume":"65","author":"JM Font","year":"2000","unstructured":"Font, J. M., and M. Rius, An abstract algebraic logic approach to tetravalent modal logics, The Journal of Symbolic Logic 65: 481\u2013518, 2000.","journal-title":"The Journal of Symbolic Logic"},{"key":"10095_CR22","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/j.apal.2004.04.007","volume":"131","author":"M Gehrke","year":"2005","unstructured":"Gehrke, M., H. Nagahashi, and Y. Venema, A Sahlqvist theorem for distributive modal logic, Annals of Pure and Applied Logic 131: 65\u2013102, 2005.","journal-title":"Annals of Pure and Applied Logic"},{"issue":"1","key":"10095_CR23","doi-asserted-by":"publisher","first-page":"1950010","DOI":"10.1142\/S1793557119500104","volume":"12","author":"V Gregori","year":"2019","unstructured":"Gregori, V., Discrete duality for De Morgan algebras with operators, Asian-European Journal of Mathematics 12(1): 1950010, 2019.","journal-title":"Asian-European Journal of Mathematics"},{"key":"10095_CR24","doi-asserted-by":"publisher","first-page":"877","DOI":"10.1007\/s11225-019-09879-w","volume":"108","author":"Y Lin","year":"2019","unstructured":"Lin, Y. and M. Ma, Polarity semantics for negation as a modal operator, Studia Logica, 108: 877\u2013902, 2019.","journal-title":"Studia Logica"},{"key":"10095_CR25","doi-asserted-by":"publisher","first-page":"239","DOI":"10.3233\/FI-2021-2023","volume":"179","author":"Z Lin","year":"2021","unstructured":"Lin, Z. and M. Ma, Residuated algebraic structures in the vicinity of pre-rough algebras and decidability, Fundamenta Informatica 179: 239\u2013174, 2021.","journal-title":"Fundamenta Informatica"},{"key":"10095_CR26","doi-asserted-by":"publisher","first-page":"759","DOI":"10.1007\/s11225-020-09925-y","volume":"109","author":"Y Lin","year":"2021","unstructured":"Lin, Y. and M. Ma, Belnap-Dunn modal logic with value operators, Studia Logica, 109: 759\u2013789, 2021.","journal-title":"Studia Logica"},{"key":"10095_CR27","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1305\/ndjfl\/1093870382","volume":"24","author":"I Loureiro","year":"1983","unstructured":"Loureiro, I., Prime spectrum of a tetravalent modal algebra, Notre Dame Journal of Formal Logic 24: 389\u2013394, 1983.","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"3","key":"10095_CR28","doi-asserted-by":"publisher","first-page":"557","DOI":"10.1017\/S1755020319000236","volume":"12","author":"T Moraschini","year":"2019","unstructured":"Moraschini, T., Varieties of positive modal algebras and structural completeness, The Review of Symbolic Logic 12(3): 557\u2013588, 2019.","journal-title":"The Review of Symbolic Logic"},{"key":"10095_CR29","doi-asserted-by":"crossref","unstructured":"Odintsov, S. P., and S. O. Speranski, Belnap-Dunn modal logics: truth constants vs. truth values, The Review of Symbolic Logic 13(2): 416\u2013435, 2020.","DOI":"10.1017\/S1755020319000121"},{"issue":"3","key":"10095_CR30","doi-asserted-by":"publisher","first-page":"279","DOI":"10.3166\/jancl.20.279-304","volume":"20","author":"SP Odintsov","year":"2017","unstructured":"Odintsov, S. P. and H. Wansing, Modal logics with Belnapian truth values, Journal of Applied Non-Classical Logics 20(3): 279\u2013301, 2017.","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"10095_CR31","doi-asserted-by":"publisher","first-page":"207","DOI":"10.2969\/msjmemoirs\/00201C060","volume-title":"Theories of Types and Proofs","author":"H Ono","year":"1998","unstructured":"Ono, H., Proof-theoretic methods in non-classical logic, in M. Takahashi, M. Okada, M. Dezani-Ciancaglini, (eds.), Theories of Types and Proofs, Mathematical Society of Japan, 1998, pp. 207\u2013254."},{"key":"10095_CR32","volume-title":"An Algebraic Approach to Non-Classical Logics","author":"H Rasiowa","year":"1974","unstructured":"Rasiowa, H., An Algebraic Approach to Non-Classical Logics, North-Holland Publishing Company, Amsterdam, 1974."},{"issue":"1","key":"10095_CR33","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1093\/logcom\/exv038","volume":"27","author":"U Rivieccio","year":"2015","unstructured":"Rivieccio, U., A. Jung, and R. Jansana, Four-valued modal logic: Kripke semantics and duality, Journal of Logic and Computation 27(1): 155\u2013199, 2015.","journal-title":"Journal of Logic and Computation"},{"key":"10095_CR34","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1016\/j.ins.2014.06.004","volume":"282","author":"A Saha","year":"2014","unstructured":"Saha, A., J. Sen and M. K. Chakraborty, Algebraic structures in the vicinity of pre-rough algebra and their logics, Information Sciences 282: 296\u2013320, 2014.","journal-title":"Information Sciences"},{"key":"10095_CR35","first-page":"314","volume-title":"Mathematical Logic in Latin Ameica","author":"HP Sankappanavar","year":"1980","unstructured":"Sankappanavar, H. P., A characterization of principal congruences of De Mogan algebras and its applications, in A. I. Arruda, R. Chuaqui, and N. C. A. da Costa, (eds.), Mathematical Logic in Latin Ameica, North-Holland Publishing Company, Amsterdam, 1980, pp. 314\u2013349."},{"key":"10095_CR36","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1023\/A:1005298632302","volume":"64","author":"V Sofronie-Stokkermans","year":"2000","unstructured":"Sofronie-Stokkermans, V., Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics I, Studia Logica 64, 93\u2013132, 2000.","journal-title":"Studia Logica"},{"key":"10095_CR37","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1023\/A:1005228629540","volume":"64","author":"V Sofronie-Stokkermans","year":"2000","unstructured":"Sofronie-Stokkermans, V., Duality and canonical extensions of bounded Distributive lattices with operators, and applications to the semantics of non-classical logics II, Studia Logica 64, 151\u2013172, 2000.","journal-title":"Studia Logica"},{"key":"10095_CR38","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/2273696","volume":"44","author":"J van Benthem","year":"1979","unstructured":"van Benthem,\u00a0J., Canonical modal logics and ultrafilter extensions, The Journal of Symbolic Logic 44: 1\u20138, 1979.","journal-title":"The Journal of Symbolic Logic"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-024-10095-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-024-10095-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-024-10095-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,31]],"date-time":"2025-01-31T13:44:57Z","timestamp":1738331097000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-024-10095-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,3,6]]},"references-count":38,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2025,2]]}},"alternative-id":["10095"],"URL":"https:\/\/doi.org\/10.1007\/s11225-024-10095-4","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2024,3,6]]},"assertion":[{"value":"30 July 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"6 March 2024","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}