{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,5]],"date-time":"2024-06-05T20:17:39Z","timestamp":1717618659235},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2015,3,24]],"date-time":"2015-03-24T00:00:00Z","timestamp":1427155200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2016,2]]},"DOI":"10.1007\/s10992-015-9362-x","type":"journal-article","created":{"date-parts":[[2015,3,23]],"date-time":"2015-03-23T21:30:30Z","timestamp":1427146230000},"page":"73-87","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["An Interpretation of \u0141ukasiewicz\u2019s 4-Valued Modal Logic"],"prefix":"10.1007","volume":"45","author":[{"given":"Jos\u00e9 M.","family":"M\u00e9ndez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gemma","family":"Robles","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francisco","family":"Salto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,3,24]]},"reference":[{"key":"9362_CR1","unstructured":"Anderson, A.R., & Belnap, N.D. Jr. (1975). Entailment. The Logic of Relevance and Necessity, vol. I: Princeton University Press."},{"key":"9362_CR2","unstructured":"Carnielli, W. (Manuscript). Many-valued models (available at http:\/\/www.unilog-org\/many-valued.pdf , pp. 1\u201336."},{"key":"9362_CR3","volume-title":"Introduction to Mathematical Logic","author":"A Church","year":"1956","unstructured":"Church, A. (1956). Introduction to Mathematical Logic. Princeton: Princeton University Press."},{"issue":"4","key":"9362_CR4","doi-asserted-by":"crossref","first-page":"150","DOI":"10.2307\/2268175","volume":"5","author":"J Dugundji","year":"1940","unstructured":"Dugundji, J. (1940). Note on a property of matrices for Lewis and Langford\u2019s calculi of propositions. Journal of Symbolic Logic, 5(4), 150\u2013151.","journal-title":"Journal of Symbolic Logic"},{"issue":"2","key":"9362_CR5","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"},{"key":"9362_CR6","unstructured":"Gonz\u00e1lez, C. (2012). MaTest, available at http:\/\/ceguel.es\/matest . (Last access 08\/02\/2015)."},{"key":"9362_CR7","volume-title":"Introduction to modal logic","author":"GE Hughes","year":"1968","unstructured":"Hughes, G.E., & Creswell, M.J. (1968). Introduction to modal logic. London: Methuen."},{"issue":"1","key":"9362_CR8","doi-asserted-by":"crossref","first-page":"46","DOI":"10.2307\/2270619","volume":"31","author":"EJ Lemmon","year":"1966","unstructured":"Lemmon, E.J. (1966). Algebraic semantics for modal logics I. The Journal of Symbolic Logic, 31(1), 46\u201365.","journal-title":"The Journal of Symbolic Logic"},{"issue":"2","key":"9362_CR9","doi-asserted-by":"crossref","first-page":"191","DOI":"10.2307\/2269810","volume":"31","author":"EJ Lemmon","year":"1966","unstructured":"Lemmon, E.J. (1966). Algebraic semantics for modal logics II. The Journal of Symbolic Logic, 31(2), 191\u2013218.","journal-title":"The Journal of Symbolic Logic"},{"key":"9362_CR10","unstructured":"Lewis, C.I., & Langdord, C.H. (1932). Symbolic Logic, New York: Century Company. Reprinted, New York: Dover Publications, 2nd edition, 1959, with a new Appendix III (Final Note on System S2) by Lewis."},{"key":"9362_CR11","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":"9362_CR12","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":"9362_CR13","unstructured":"Mendelson, E. (1964). Introduction to mathematical logic, 5th edn: Chapman and Hall\/CRC."},{"key":"9362_CR14","unstructured":"M\u00e9ndez, J.M., & Robles, G. (In preparation). A strong and rich 4-valued modal logic without \u0141ukasiewicz-type paradoxes."},{"key":"9362_CR15","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1007\/BF00168284","volume":"30","author":"C Mortensen","year":"1989","unstructured":"Mortensen, C. (1989). Anything is possible. Erkenntnis, 30, 319\u2013337.","journal-title":"Erkenntnis"},{"issue":"189\u2013192","key":"9362_CR16","first-page":"351","volume":"48","author":"C Mortensen","year":"2005","unstructured":"Mortensen, C. (2005). It isn\u2019t so, but could it be? Logique et Analyse, 48(189\u2013192), 351\u2013360.","journal-title":"Logique et Analyse"},{"key":"9362_CR17","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1305\/ndjfl\/1093956874","volume":"2","author":"TJ Smiley","year":"1961","unstructured":"Smiley, T.J. (1961). On \u0141ukasiewicz\u2019s \u0141-modal system. Notre Dame Journal of Formal Logic, 2, 149\u2013153.","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"3","key":"9362_CR18","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 Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-015-9362-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-015-9362-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-015-9362-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T01:29:53Z","timestamp":1559352593000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-015-9362-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,3,24]]},"references-count":18,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2016,2]]}},"alternative-id":["9362"],"URL":"https:\/\/doi.org\/10.1007\/s10992-015-9362-x","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,3,24]]}}}