{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,11]],"date-time":"2026-02-11T15:56:32Z","timestamp":1770825392212,"version":"3.50.1"},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2016,3,1]],"date-time":"2016-03-01T00:00:00Z","timestamp":1456790400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100003329","name":"Ministerio de Econom\u00eda y Competitividad","doi-asserted-by":"publisher","award":["FFI2014-53919-P"],"award-info":[{"award-number":["FFI2014-53919-P"]}],"id":[{"id":"10.13039\/501100003329","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J of Log Lang and Inf"],"published-print":{"date-parts":[[2016,6]]},"DOI":"10.1007\/s10849-016-9237-8","type":"journal-article","created":{"date-parts":[[2016,3,1]],"date-time":"2016-03-01T13:26:58Z","timestamp":1456838818000},"page":"163-189","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Strengthening Brady\u2019s Paraconsistent 4-Valued Logic BN4 with Truth-Functional Modal Operators"],"prefix":"10.1007","volume":"25","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9560-3327","authenticated-orcid":false,"given":"Jos\u00e9 M.","family":"M\u00e9ndez","sequence":"first","affiliation":[]},{"given":"Gemma","family":"Robles","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,3,1]]},"reference":[{"key":"9237_CR1","unstructured":"Anderson, A. R., & Belnap, N. D., Jr. (1975). Entailment: The logic of relevance and necessity (Vol. I). Princeton: Princeton University Press."},{"key":"9237_CR2","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/BF00215626","volume":"5","author":"O Arieli","year":"1996","unstructured":"Arieli, O., & Avron, A. (1996). Reasoning with logical bilattices. Journal of Logic, Language and Information, 5, 25\u201363.","journal-title":"Journal of Logic, Language and Information"},{"key":"9237_CR3","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/S0004-3702(98)00032-0","volume":"102","author":"O Arieli","year":"1998","unstructured":"Arieli, O., & Avron, A. (1998). The value of the four values. Artificial Intelligence, 102, 97\u2013141.","journal-title":"Artificial Intelligence"},{"key":"9237_CR4","first-page":"388","volume":"25","author":"ND Belnap","year":"1960","unstructured":"Belnap, N. D. (1960). Entailment and relevance. The Journal of Symbolic Logic, 25, 388\u2013389.","journal-title":"The Journal of Symbolic Logic"},{"key":"9237_CR5","unstructured":"Belnap, N. D. (1977a). How a computer should think. In G. Ryle (Ed.), Contemporary aspects of philosophy (pp. 30\u201355). Stocksfield: Orielv Press Ltd."},{"key":"9237_CR6","doi-asserted-by":"crossref","unstructured":"Belnap, N. D. (1977b). A useful four-valued logic. In J. M. Dunn & G. Epstein (Eds.), Modern uses of multiple-valued logic (pp. 8\u201337). Dordrecht: D. Reidel Publishing Co.","DOI":"10.1007\/978-94-010-1161-7_2"},{"key":"9237_CR7","first-page":"18","volume":"54","author":"J B\u00e9ziau","year":"2011","unstructured":"B\u00e9ziau, J. (2011). A new four-valued approach to modal logic. Logique et Analyse, 54, 18\u201333.","journal-title":"Logique et Analyse"},{"key":"9237_CR8","first-page":"9","volume":"25","author":"RT Brady","year":"1982","unstructured":"Brady, R. T. (1982). Completeness proofs for the systems RM3 and BN4. Logique et Analyse, 25, 9\u201332.","journal-title":"Logique et Analyse"},{"key":"9237_CR9","volume-title":"Relevant logics and their rivals","year":"2003","unstructured":"Brady, R. T. (Ed.). (2003). Relevant logics and their rivals (Vol. II). Aldershot: Ashgate."},{"key":"9237_CR10","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/BF00373152","volume":"29","author":"JM Dunn","year":"1976","unstructured":"Dunn, J. M. (1976). Intuitive semantics for first-degree entailments and \u2018coupled trees\u2019. Philosophical Studies, 29, 149\u2013168.","journal-title":"Philosophical Studies"},{"key":"9237_CR11","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1023\/A:1026740726955","volume":"65","author":"JM Dunn","year":"2000","unstructured":"Dunn, J. M. (2000). Partiality and its dual. Studia Logica, 65, 5\u201340.","journal-title":"Studia Logica"},{"issue":"2","key":"9237_CR12","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1023\/A:1015111314455","volume":"70","author":"JM Font","year":"2002","unstructured":"Font, J. M., & Hajek, P. (2002). On \u0141ukasiewicz four-valued modal logic. Studia Logica, 70(2), 157\u2013182.","journal-title":"Studia Logica"},{"issue":"2","key":"9237_CR13","doi-asserted-by":"crossref","first-page":"481","DOI":"10.2307\/2586552","volume":"65","author":"JM Font","year":"2000","unstructured":"Font, J. M., & Rius, M. (2000). An abstract algebraic logic approach to tetravalent modal logics. Journal of Symbolic Logic, 65(2), 481\u2013518.","journal-title":"Journal of Symbolic Logic"},{"key":"9237_CR14","first-page":"3","volume":"193","author":"L Goble","year":"2006","unstructured":"Goble, L. (2006). Paraconsistent modal logic. Logique et Analyse, 193, 3\u201329.","journal-title":"Logique et Analyse"},{"key":"9237_CR15","unstructured":"Gonz\u00e1lez, C. (2012). MaTest. http:\/\/ceguel.es\/matest . Last access 06 June 2015."},{"key":"9237_CR16","unstructured":"Jung, A., & Rivieccio, U. (2013). Kripke semantics for modal bilattice logic (extended abstracts). In Proceedings of the 28th annual ACM\/IEEE symposium on logic in computer science (pp. 438\u2013447). IEEE Computer Society Press."},{"key":"9237_CR17","unstructured":"\u0141ukasiewicz, J. (1920\/1970). On three-valued logic. In L. Borkowski (Ed.), Jan \u0141Selected works (pp. 87\u201388). Amsterdam: North-Holland Pub. Co."},{"key":"9237_CR18","volume-title":"Aristotle\u2019s syllogistic from the standpoint of modern formal logic","author":"J \u0141ukasiewicz","year":"1951","unstructured":"\u0141ukasiewicz, J. (1951). Aristotle\u2019s syllogistic from the standpoint of modern formal logic. Oxford: Clarendon Press."},{"key":"9237_CR19","first-page":"111","volume":"1","author":"J \u0141ukasiewicz","year":"1953","unstructured":"\u0141ukasiewicz, J. (1953). A system of modal logic. The Journal of Computing Systems, 1, 111\u2013149.","journal-title":"The Journal of Computing Systems"},{"key":"9237_CR20","unstructured":"\u0141ukasiewicz, J. (1970). Selected works. In L. Borkowski (Ed.). Amsterdam: North-Holland Pub. Co."},{"issue":"4","key":"9237_CR21","doi-asserted-by":"crossref","first-page":"501","DOI":"10.1007\/s11787-015-0130-z","volume":"9","author":"JM M\u00e9ndez","year":"2015","unstructured":"M\u00e9ndez, J. M., & Robles, G. (2015). A strong and rich 4-valued modal logic without \u0141ukasiewicz-type paradoxes. Logica Universalis, 9(4), 501\u2013522.","journal-title":"Logica Universalis"},{"key":"9237_CR22","author":"JM M\u00e9ndez","year":"2015","unstructured":"M\u00e9ndez, J. M., Robles, G., & Salto, F. (2015). An interpretation of \u0141ukasiewicz\u2019s 4-valued modal logic. Journal of Philosophical Logic,. doi: 10.1007\/s10992-015-9362-x .","journal-title":"Journal of Philosophical Logic"},{"key":"9237_CR23","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1007\/BF02429841","volume":"43","author":"RK Meyer","year":"1984","unstructured":"Meyer, R. K., Giambrone, S., & Brady, R. T. (1984). Where gamma fails. Studia Logica, 43, 247\u2013256.","journal-title":"Studia Logica"},{"key":"9237_CR24","unstructured":"Minari, P. (Manuscript). A note on \u0141ukasiewicz\u2019s three-valued logic. http:\/\/www.philos.unifi.it\/upload\/sub\/Materiali\/Preprint\/wajsberg"},{"key":"9237_CR25","doi-asserted-by":"crossref","first-page":"279","DOI":"10.3166\/jancl.20.279-304","volume":"20","author":"SP Odintsov","year":"2010","unstructured":"Odintsov, S. P., & Wansing, H. (2010). Modal logics with Belnapian truth values. Journal of Applied Non-classical Logics, 20, 279\u2013301.","journal-title":"Journal of Applied Non-classical Logics"},{"key":"9237_CR26","first-page":"190","volume":"1","author":"G Priest","year":"2008","unstructured":"Priest, G. (2008). Many-valued modal logics: A simple approach. Review of Symbolic Logic, 1, 190\u2013203.","journal-title":"Review of Symbolic Logic"},{"key":"9237_CR27","volume-title":"Relevant logics and their rivals","author":"R Routley","year":"1982","unstructured":"Routley, R., Meyer, R. K., Plumwood, V., & Brady, R. T. (1982). Relevant logics and their rivals (Vol. 1). Atascadero, CA: Ridgeview Publishing Co."},{"key":"9237_CR28","doi-asserted-by":"crossref","unstructured":"Slaney, J. K. (2005). Relevant logic and paraconsistency. In L. Bertossi, A. Hunter, & T. Schaub (Eds.), Inconsistency Tolerance, Lecture Notes in Computer Science (Vol. 3300, pp. 270\u2013293).","DOI":"10.1007\/978-3-540-30597-2_9"},{"key":"9237_CR29","doi-asserted-by":"crossref","first-page":"395","DOI":"10.1305\/ndjfl\/1093637560","volume":"28","author":"JK Slaney","year":"1987","unstructured":"Slaney, J. K. (1987). Reduced models for relevant logics without WI. Notre Dame Journal of Formal Logic, 28, 395\u2013407.","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"3","key":"9237_CR30","first-page":"215","volume":"20","author":"M Tkaczyk","year":"2011","unstructured":"Tkaczyk, M. (2011). On axiomatization of \u0141ukasiewicz\u2019s four-valued modal logic. Logic and Logical Philosophy, 20(3), 215\u2013232.","journal-title":"Logic and Logical Philosophy"}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-016-9237-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10849-016-9237-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-016-9237-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T22:31:05Z","timestamp":1559255465000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10849-016-9237-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,3,1]]},"references-count":30,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2016,6]]}},"alternative-id":["9237"],"URL":"https:\/\/doi.org\/10.1007\/s10849-016-9237-8","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"value":"0925-8531","type":"print"},{"value":"1572-9583","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,3,1]]}}}