{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T10:28:58Z","timestamp":1777544938609,"version":"3.51.4"},"reference-count":37,"publisher":"Oxford University Press (OUP)","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Logic Computation"],"published-print":{"date-parts":[[2017,2]]},"DOI":"10.1093\/logcom\/exv038","type":"journal-article","created":{"date-parts":[[2015,6,16]],"date-time":"2015-06-16T01:12:44Z","timestamp":1434417164000},"page":"155-199","source":"Crossref","is-referenced-by-count":36,"title":["Four-valued modal logic: Kripke semantics and duality"],"prefix":"10.1093","volume":"27","author":[{"given":"Umberto","family":"Rivieccio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Achim","family":"Jung","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ramon","family":"Jansana","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2015,6,15]]},"reference":[{"key":"2017012307250557000_27.1.155.1","doi-asserted-by":"publisher","DOI":"10.2307\/2274105"},{"key":"2017012307250557000_27.1.155.2","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/BF00215626","article-title":"Reasoning with logical bilattices","volume":"5","author":"Arieli","year":"1996","journal-title":"Journal of Logic, Language and Information"},{"key":"2017012307250557000_27.1.155.3","unstructured":"Belnap N. D. How a computer should think. In: Ryle G. , editor. Contemporary Aspects of Philosophy. Oriel Press; 1976. p. 30-56."},{"key":"2017012307250557000_27.1.155.4","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/978-94-010-1161-7_2","article-title":"A useful four-valued logic","volume-title":"Modern uses of Multiple-valued Logic (Fifth Internat. Sympos., Indiana Univ., Bloomington, Ind., 1975)","volume":"2","author":"Belnap","year":"1977"},{"key":"2017012307250557000_27.1.155.5","doi-asserted-by":"crossref","unstructured":"Blackburn P. de Rijke M. Venema Y. Modal Logic Cambridge University Press; 2001. Number 53 in Cambridge Tracts in Theoretical Computer Science.","DOI":"10.1017\/CBO9781107050884"},{"key":"2017012307250557000_27.1.155.6","doi-asserted-by":"crossref","unstructured":"W. J. Blok and D. Pigozzi. Algebraizable Logics, Vol. 396 of Memories of the American Mathematical Society, A.M.S., Providence, January 1989.","DOI":"10.1090\/memo\/0396"},{"key":"2017012307250557000_27.1.155.7","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exp062"},{"key":"2017012307250557000_27.1.155.8","doi-asserted-by":"publisher","DOI":"10.1007\/s00012-011-0151-2"},{"key":"2017012307250557000_27.1.155.9","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/jzq041"},{"key":"2017012307250557000_27.1.155.10","doi-asserted-by":"crossref","unstructured":"Bou F. Rivieccio U. Bilattices with implications. Studia Logica 2013. To appear.","DOI":"10.1007\/s11225-013-9494-3"},{"key":"2017012307250557000_27.1.155.11","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-010-9230-1"},{"key":"2017012307250557000_27.1.155.12","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exs036"},{"key":"2017012307250557000_27.1.155.13","doi-asserted-by":"crossref","unstructured":"Chagrov A. Zakharyaschev M. Oxford Logic Guides. Vol. 35. Oxford University Press; 1997. Modal Logic.","DOI":"10.1093\/oso\/9780198537793.001.0001"},{"key":"2017012307250557000_27.1.155.14","unstructured":"Clark D. M. Davey B. A. Cambridge Studies in Advanced Mathematics. Vol. 57. Cambridge University Press; 1998. Natural Dualities for the Working Algebraist."},{"key":"2017012307250557000_27.1.155.15","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(91)90014-G"},{"key":"2017012307250557000_27.1.155.16","doi-asserted-by":"crossref","first-page":"235","DOI":"10.3233\/FI-1991-153-404","article-title":"Many-valued modal logics","volume":"15","author":"Fitting","year":"1991","journal-title":"Fundamenta Informaticae"},{"key":"2017012307250557000_27.1.155.17","doi-asserted-by":"crossref","first-page":"55","DOI":"10.3233\/FI-1992-171-205","article-title":"Many-valued modal logics, II","volume":"17","author":"Fitting","year":"1992","journal-title":"Fundamenta Informaticae"},{"key":"2017012307250557000_27.1.155.18","first-page":"413","article-title":"Belnap's four-valued logic and De Morgan lattices","volume":"5","author":"Font","year":"1997","journal-title":"Logic Journal of the I.G.P.L."},{"key":"2017012307250557000_27.1.155.19","unstructured":"J. M. Font and R. Jansana. A General Algebraic Semantics for Sentential Logics, Vol. 7 of Lecture Notes in Logic. Springer, 2nd edn, 2009. Electronic version freely available through Project Euclid at projecteuclid.org\/euclid.lnl\/1235416965."},{"key":"2017012307250557000_27.1.155.20","unstructured":"Galatos N. Jipsen P. Kowalski T. Ono H. Studies in Logic and the Foundations of Mathematics. Vol. 151. Elsevier; 2007. Residuated Lattices: An Algebraic Glimpse at Substructural Logics."},{"key":"2017012307250557000_27.1.155.21","doi-asserted-by":"publisher","DOI":"10.1023\/B:STUD.0000037126.29193.09"},{"key":"2017012307250557000_27.1.155.22","doi-asserted-by":"publisher","DOI":"10.1007\/s00500-011-0752-x"},{"key":"2017012307250557000_27.1.155.23","doi-asserted-by":"crossref","unstructured":"R. Jansana and U. Rivieccio. Priestley duality for N4-lattices. Proceedings of the 8th conference of the European Society for Fuzzy Logic and Technology, to appear.","DOI":"10.2991\/eusflat.2013.38"},{"key":"2017012307250557000_27.1.155.24","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-012-9376-0"},{"key":"2017012307250557000_27.1.155.25","doi-asserted-by":"crossref","unstructured":"A. Jung and U. Rivieccio. Kripke semantics for modal bilattice logic. Proceedings of the 28th Annual ACM\/IEEE Symposium on Logic in Computer Science, IEEE Computer Society Press, 438\u2013447, 2013.","DOI":"10.1109\/LICS.2013.50"},{"key":"2017012307250557000_27.1.155.26","unstructured":"Kracht M. Studies in Logic and the Foundations of Mathematics. Vol. 142. North-Holland Publishing Co.; 1999. Tools and Techniques in Modal Logic."},{"key":"2017012307250557000_27.1.155.27","doi-asserted-by":"publisher","DOI":"10.1007\/s000120050149"},{"key":"2017012307250557000_27.1.155.28","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/13.4.453"},{"key":"2017012307250557000_27.1.155.29","doi-asserted-by":"publisher","DOI":"10.1023\/B:STUD.0000032104.14199.08"},{"key":"2017012307250557000_27.1.155.30","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-005-8472-9"},{"key":"2017012307250557000_27.1.155.31","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-012-9380-4"},{"key":"2017012307250557000_27.1.155.32","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1007\/978-94-017-3598-8_11","article-title":"Inconsistency-tolerant description logic: motivation and basic systems","volume-title":"Trends in Logic","volume":"21","author":"Odintsov","year":"2003"},{"key":"2017012307250557000_27.1.155.33","unstructured":"Odintsov S. P. Wansing H. Constructive Predicate Logic and Constructive Modal Logic. Formal Duality Versus Semantical Duality. Logos; 2004. p. 269-286."},{"key":"2017012307250557000_27.1.155.34","doi-asserted-by":"publisher","DOI":"10.3166\/jancl.20.279-304"},{"key":"2017012307250557000_27.1.155.35","doi-asserted-by":"crossref","first-page":"190","DOI":"10.1017\/S1755020308080179","article-title":"Many-valued modal logics: a simple approach","volume":"1","author":"Priest","year":"2008","journal-title":"The Review of Symbolic Logic"},{"key":"2017012307250557000_27.1.155.36","unstructured":"U. Rivieccio. An Algebraic Study of Bilattice-based Logics. PhD Dissertation, University of Barcelona, 2010."},{"key":"2017012307250557000_27.1.155.37","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2011.10.014"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/27\/1\/155\/9688206\/exv038.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,9]],"date-time":"2024-06-09T14:35:22Z","timestamp":1717943722000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article-lookup\/doi\/10.1093\/logcom\/exv038"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,6,15]]},"references-count":37,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2017,1,23]]},"published-print":{"date-parts":[[2017,2]]}},"alternative-id":["10.1093\/logcom\/exv038"],"URL":"https:\/\/doi.org\/10.1093\/logcom\/exv038","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,6,15]]}}}