{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,31]],"date-time":"2025-12-31T00:39:05Z","timestamp":1767141545347,"version":"build-2238731810"},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2021,5,30]],"date-time":"2021-05-30T00:00:00Z","timestamp":1622332800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,5,30]],"date-time":"2021-05-30T00:00:00Z","timestamp":1622332800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2021,12]]},"DOI":"10.1007\/s11225-021-09944-3","type":"journal-article","created":{"date-parts":[[2021,5,30]],"date-time":"2021-05-30T11:02:20Z","timestamp":1622372540000},"page":"1347-1373","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Cut-free Sequent Calculus and Natural Deduction for the Tetravalent Modal Logic"],"prefix":"10.1007","volume":"109","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6272-5419","authenticated-orcid":false,"given":"Mart\u00edn","family":"Figallo","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,5,30]]},"reference":[{"key":"9944_CR1","unstructured":"Anderson, A.R., N.D. Belnap, and J.M. Dunn, Entailment: the logic of relevance and necessity, vol. II, Princeton University Press, 1992."},{"key":"9944_CR2","doi-asserted-by":"crossref","unstructured":"Avron, A., and B. Konikowska, Multi-valued Calculi for Logics Based on Non-determinism, Logic Journal of the IGPL 13(4):365\u2013387, 2005.","DOI":"10.1093\/jigpal\/jzi030"},{"key":"9944_CR3","doi-asserted-by":"crossref","unstructured":"Avron, A., J. Ben-Naim, and B. Konikowska, Cut-free ordinary sequent calculi for logics having generalzed finite\u2013valued semantics, Logica Universalis 1(1):41\u201369, 2006.","DOI":"10.1007\/s11787-006-0003-6"},{"key":"9944_CR4","doi-asserted-by":"crossref","unstructured":"Carnielli, W.A., M.E. Coniglio, and J. Marcos, Logics of Formal Inconsistency. In D. Gabbay, and F. Guenthner, (eds.), Handbook of Philosophical Logic, vol. 14, Springer, 2007, pp. 15-107.","DOI":"10.1007\/978-1-4020-6324-4_1"},{"key":"9944_CR5","doi-asserted-by":"crossref","unstructured":"Carnielli, W.A., and J. Marcos, A taxonomy of C-systems, in W. A. Carnielli, M.\u00a0E. Coniglio, and I.\u00a0M.\u00a0L. D\u2019Ottaviano, (eds.), Paraconsistency\u2013The logical way to the inconsistent, vol. 228 of Lecture Notes in Pure and Applied Mathematics, Marcel Dekker, New York, 2002, pp. 1\u201394.","DOI":"10.1201\/9780203910139.pt1"},{"key":"9944_CR6","doi-asserted-by":"crossref","unstructured":"Coniglio, M.E., and M. Figallo, Hilbert-style Presentations of Two Logics Associated to Tetravalent Modal Algebras, Studia Logica 102(3):525\u2013539, 2014.","DOI":"10.1007\/s11225-013-9489-0"},{"key":"9944_CR7","unstructured":"Figallo, A.V., and P. Landini, On generalized I-algebras and 4-valued modal algebras, Reports on Mathematical Logic 29:3\u201318, 1995."},{"key":"9944_CR8","doi-asserted-by":"crossref","unstructured":"Font, J.M., and M. Rius, An abstract algebraic logic approach to tetravalent modal logics, Journal of Symbolic Logic 65(2):481\u2013518, 2000.","DOI":"10.2307\/2586552"},{"key":"9944_CR9","doi-asserted-by":"crossref","unstructured":"Jung, A., and U. Rivieccio, Kripke semantics for modal bilattice logic, in 2013 28th Annual ACM\/IEEE Symposium on Logic in Computer Science, IEEE, 2013, pp. 438\u2013447.","DOI":"10.1109\/LICS.2013.50"},{"key":"9944_CR10","unstructured":"Loureiro, I., Algebras modais tetravalentes, Ph. D. Thesis, Faculdade de Ci\u00eancias de Lisboa, 1983."},{"key":"9944_CR11","doi-asserted-by":"crossref","unstructured":"Odintsov, S.P., and H. Wansing, Modal logics with Belnapian truth values, Journal of Applied Non-Classical Logics 20(3):279\u2013301, 2010.","DOI":"10.3166\/jancl.20.279-304"},{"key":"9944_CR12","doi-asserted-by":"crossref","unstructured":"Odintsov, S.P., and H. Wansing, Disentangling FDE-based paraconsistent modal logics, Studia Logica 105(6):1221\u20131254, 2017","DOI":"10.1007\/s11225-017-9753-9"},{"key":"9944_CR13","doi-asserted-by":"crossref","unstructured":"Priest, G., Many-valued modal logics: a simple approach, The Review of Symbolic Logic 1(2):190\u2013203, 2008.","DOI":"10.1017\/S1755020308080179"},{"key":"9944_CR14","doi-asserted-by":"crossref","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.","DOI":"10.1093\/logcom\/exv038"},{"key":"9944_CR15","unstructured":"Troelstra, A.S., and H. Schwichtenberg, Basic Proof System, Cambridge University Press, Cambridge, 1996."}],"updated-by":[{"DOI":"10.1007\/s11225-021-09982-x","type":"correction","label":"Correction","source":"publisher","updated":{"date-parts":[[2022,1,29]],"date-time":"2022-01-29T00:00:00Z","timestamp":1643414400000}}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-021-09944-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-021-09944-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-021-09944-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,29]],"date-time":"2022-01-29T17:02:39Z","timestamp":1643475759000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-021-09944-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,5,30]]},"references-count":15,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2021,12]]}},"alternative-id":["9944"],"URL":"https:\/\/doi.org\/10.1007\/s11225-021-09944-3","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,5,30]]},"assertion":[{"value":"21 February 2021","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"30 May 2021","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"29 January 2022","order":3,"name":"change_date","label":"Change Date","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"Correction","order":4,"name":"change_type","label":"Change Type","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"A Correction to this paper has been published:","order":5,"name":"change_details","label":"Change Details","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"https:\/\/doi.org\/10.1007\/s11225-021-09982-x","URL":"https:\/\/doi.org\/10.1007\/s11225-021-09982-x","order":6,"name":"change_details","label":"Change Details","group":{"name":"ArticleHistory","label":"Article History"}}]}}