{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,8]],"date-time":"2026-06-08T14:48:27Z","timestamp":1780930107898,"version":"3.54.1"},"reference-count":49,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2022,6,23]],"date-time":"2022-06-23T00:00:00Z","timestamp":1655942400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,6,23]],"date-time":"2022-06-23T00:00:00Z","timestamp":1655942400000},"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":["Log. Univers."],"published-print":{"date-parts":[[2022,9]]},"DOI":"10.1007\/s11787-022-00306-8","type":"journal-article","created":{"date-parts":[[2022,6,23]],"date-time":"2022-06-23T12:17:01Z","timestamp":1655986621000},"page":"419-449","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["First-order Logics of Evidence and Truth with Constant and Variable Domains"],"prefix":"10.1007","volume":"16","author":[{"given":"Abilio","family":"Rodrigues","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Henrique","family":"Antunes","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2022,6,23]]},"reference":[{"issue":"1","key":"306_CR1","doi-asserted-by":"publisher","first-page":"231","DOI":"10.2307\/2274105","volume":"49","author":"A Almukdad","year":"1984","unstructured":"Almukdad, A., Nelson, D.: Constructible falsity and inexact predicates. J. Symb. Log. 49(1), 231\u2013233 (1984)","journal-title":"J. Symb. Log."},{"key":"306_CR2","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1002\/malq.19600060709","volume":"6","author":"AR Anderson","year":"1960","unstructured":"Anderson, A.R.: Completeness theorems for the systems E of entailment and EQ of entailment with quantification. Math. Log. Q. 6, 201\u2013216 (1960)","journal-title":"Math. Log. Q."},{"key":"306_CR3","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/BF00818100","volume":"13","author":"AR Anderson","year":"1962","unstructured":"Anderson, A.R., Belnap, N.D.: Tautological entailments. Philos. Stud. 13, 9\u201324 (1962)","journal-title":"Philos. Stud."},{"key":"306_CR4","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1007\/BF01471125","volume":"149","author":"AR Anderson","year":"1963","unstructured":"Anderson, A.R., Belnap, N.D.: First degree entailments. Math. Ann. 149, 302\u2013319 (1963)","journal-title":"Math. Ann."},{"issue":"3","key":"306_CR5","doi-asserted-by":"publisher","first-page":"100","DOI":"10.3390\/axioms9030100","volume":"9","author":"H Antunes","year":"2020","unstructured":"Antunes, H., Carnielli, W., Kapsner, A., Rodrigues, A.: Kripke-style models for logics of evidence and truth. Axioms 9(3), 100 (2020)","journal-title":"Axioms"},{"key":"306_CR6","doi-asserted-by":"crossref","unstructured":"Antunes, H., Rodrigues, A., Carnielli, W., Coniglio, M.E.: Valuation semantics for first-order logics of evidence and truth. J. Philos. Log. (2022). https:\/\/doi.org\/10.1007\/s10992-022-09662-8","DOI":"10.1007\/s10992-022-09662-8"},{"key":"306_CR7","doi-asserted-by":"publisher","first-page":"151","DOI":"10.26686\/ajl.v15i2.4860","volume":"15","author":"E Barrio","year":"2018","unstructured":"Barrio, E., Da R\u00e9, B.: Paraconsistency and its philosophical interpretations. Australas. J. Log. 15, 151\u2013170 (2018)","journal-title":"Australas. J. Log."},{"key":"306_CR8","doi-asserted-by":"crossref","unstructured":"Belnap, N.D.: How a computer should think. In G.\u00a0Ryle, editor, Contemporary Aspects of Philosophy. Oriel Press, 1977a. Reprinted in New Essays on Belnap-Dunn Logic, Springer, pp 35-55 (2019)","DOI":"10.1007\/978-3-030-31136-0_4"},{"key":"306_CR9","doi-asserted-by":"crossref","unstructured":"Belnap, N.D.: A useful four-valued logic. In G.\u00a0Epstein and J.M. Dunn, editors, Modern uses of multiple valued logics. D. Reidel, Dordrecht, 1977b. Reprinted in [42]","DOI":"10.1007\/978-94-010-1161-7_2"},{"key":"306_CR10","volume-title":"A Question is More Illuminating than an Answer \u2013 A Festschrift for Paulo A. S. Veloso","author":"W Carnielli","year":"2021","unstructured":"Carnielli, W., Antunes, H.: An objectual semantics for first-order LFI1 with an application to free logics. In: Haeusler, E.H., Pereira, L.C., Petrucio Viana, J. (eds.) A Question is More Illuminating than an Answer \u2013 A Festschrift for Paulo A. S. Veloso. College Publications, London (2021)"},{"key":"306_CR11","doi-asserted-by":"crossref","unstructured":"Carnielli, W., Coniglio, M.E. : Paraconsistent Logic: Consistency, Contradiction and Negation, vol 40 of Logic, Epistemology, and the Unity of Science series. Springer, (2016)","DOI":"10.1007\/978-3-319-33205-5"},{"key":"306_CR12","doi-asserted-by":"publisher","DOI":"10.1201\/9780203910139","volume-title":"Paraconsistency: The Logical Way to the Inconsistent","author":"W Carnielli","year":"2002","unstructured":"Carnielli, W., Marcos, J.: A taxonomy of C-systems. In: Carnielli, Coniglio, D\u2019Ottaviano (eds.) Paraconsistency: The Logical Way to the Inconsistent. Marcel Dekker, New York (2002)"},{"key":"306_CR13","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1590\/0100-6045.2015.V38N2.WCeAR","volume":"38","author":"W Carnielli","year":"2015","unstructured":"Carnielli, W., Rodrigues, A.: Towards a philosophical understanding of the logics of formal inconsistency. Manuscrito 38, 155\u2013184 (2015)","journal-title":"Manuscrito"},{"key":"306_CR14","doi-asserted-by":"crossref","unstructured":"Carnielli, W., Rodrigues, A.: On the philosophy and mathematics of the logics of formal inconsistency. In: Beziau, J.-Y. et\u00a0al., (eds.) New Directions in Paraconsistent Logic \u2013 Springer Proceedings in Mathematics & Statistics 152, pp 57\u201388. Springer India, (2015b)","DOI":"10.1007\/978-81-322-2719-9_3"},{"key":"306_CR15","doi-asserted-by":"publisher","first-page":"3789","DOI":"10.1007\/s11229-017-1621-7","volume":"196","author":"W Carnielli","year":"2017","unstructured":"Carnielli, W., Rodrigues, A.: An epistemic approach to paraconsistency: a logic of evidence and truth. Synthese 196, 3789\u20133813 (2017)","journal-title":"Synthese"},{"key":"306_CR16","first-page":"1","volume-title":"Handbook of Philosophical Logic","author":"W Carnielli","year":"2007","unstructured":"Carnielli, W., Coniglio, M.E., Marcos, J.: Logics of formal inconsistency. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. 14, pp. 1\u201393. Springer-Verlag, Amsterdam (2007)"},{"issue":"3","key":"306_CR17","doi-asserted-by":"publisher","first-page":"548","DOI":"10.1017\/S1755020314000148","volume":"7","author":"W Carnielli","year":"2014","unstructured":"Carnielli, W., Coniglio, M.E., Podiacki, R., Rodrigues, T.: On the way to a wider model theory: completeness theorems for first-order logics of formal inconsistency. The Review Of Symbolic Logic 7(3), 548\u2013578 (2014)","journal-title":"The Review Of Symbolic Logic"},{"key":"306_CR18","doi-asserted-by":"publisher","first-page":"624","DOI":"10.1093\/jigpal\/jzy054","volume":"28","author":"W Carnielli","year":"2019","unstructured":"Carnielli, W., Coniglio, M.E., Rodrigues, A.: Recovery operators, paraconsistency and duality. Logic Journal of the IGPL 28, 624\u2013656 (2019)","journal-title":"Logic Journal of the IGPL"},{"key":"306_CR19","first-page":"1963","volume-title":"Sistemas Formais Inconsistentes","author":"N da Costa","year":"1993","unstructured":"da Costa, N.: Sistemas Formais Inconsistentes, p. 1963. Editora da UFPR, Curitiba (1993)"},{"issue":"4","key":"306_CR20","first-page":"497","volume":"4","author":"N da Costa","year":"1974","unstructured":"da Costa, N.: On the theory of inconsistent formal systems. Notre Dame Journal of Formal Logic, XV, number 4(4), 497\u2013510 (1974)","journal-title":"Notre Dame Journal of Formal Logic, XV, number"},{"key":"306_CR21","first-page":"621","volume":"18","author":"N da Costa","year":"1977","unstructured":"da Costa, N., Alves, E.H.: A semantical analysis of the calculi Cn. Notre Dame Journal of Formal Logic 18, 621\u2013630 (1977)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"306_CR22","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/BF02379748","volume":"16","author":"N da Costa","year":"1986","unstructured":"da Costa, N., Carnielli, W.: On paraconsistent deontic logic. Philosophia 16, 293\u2013305 (1986)","journal-title":"Philosophia"},{"key":"306_CR23","doi-asserted-by":"crossref","unstructured":"da\u00a0Costa, N., Krause, D., Bueno, O.: Paraconsistent logics and paraconsistency. In: Jacquette, D. et\u00a0al., (eds.) Philosophy of Logic \u2013 Handbook of the Philosophy of Science Vol. 5, pp. 791\u2013911. Elsevier, (2007)","DOI":"10.1016\/B978-044451541-4\/50023-3"},{"key":"306_CR24","unstructured":"van Dalen, D.: Logic and Structure. Springer, 4th edition, (2008)"},{"key":"306_CR25","first-page":"1349","volume":"270","author":"I D\u2019Ottaviano","year":"1970","unstructured":"D\u2019Ottaviano, I., da Costa, N.: Sur un probl\u00e8me de J\u00e1skowski. Comptes Rendus de l\u2019Acad\u00e9mie de Sciences de Paris 270, 1349\u20131353 (1970)","journal-title":"Comptes Rendus de l\u2019Acad\u00e9mie de Sciences de Paris"},{"key":"306_CR26","doi-asserted-by":"crossref","unstructured":"Dunn, J.M.: Intuitive semantics for first-degree entailments and \u2018coupled trees\u2019. Philosophical Studies, 29, 149\u2013168 (1976). Reprinted in [42]","DOI":"10.1007\/BF00373152"},{"key":"306_CR27","first-page":"423","volume-title":"Zwischen traditioneller und moderner Logik: Nichtklassische Ansatze","author":"JM Dunn","year":"2001","unstructured":"Dunn, J.M.: The concept of information and the development of modern logic. In: Stelzner, W., St\u00f6ckler, M. (eds.) Zwischen traditioneller und moderner Logik: Nichtklassische Ansatze, pp. 423\u2013447. Mentis-Verlag, Paderborn (2001)"},{"key":"306_CR28","doi-asserted-by":"crossref","unstructured":"Dunn, J.M.: Information in computer science. In: Adriaans, P., van Benthem, J. (eds.) Philosophy of Information. Volume 8 of Handbook of the Philosophy of Science, pp. 581\u2013608. Elsevier, (2008)","DOI":"10.1016\/B978-0-444-51726-5.50019-4"},{"key":"306_CR29","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/s11016-012-9679-9","volume":"22","author":"JM Dunn","year":"2013","unstructured":"Dunn, J.M.: A guide to the Floridi keys (Review of Floridi\u2019s The Philosophy of Information). Metascience 22, 93\u201398 (2013)","journal-title":"Metascience"},{"key":"306_CR30","doi-asserted-by":"crossref","unstructured":"Dunn, J.M.: Two, three, four, infinity: The path to the four-valued logic and beyond. In: Omori Wansing, (eds.) New Essays on Belnap-Dunn Logic, pp. 77\u201397. Springer (2019)","DOI":"10.1007\/978-3-030-31136-0_6"},{"key":"306_CR31","doi-asserted-by":"crossref","unstructured":"Enderton, H.B.: A Mathematical Introduction to Logic. Elsevier, 2nd edition, (2001)","DOI":"10.1016\/B978-0-08-049646-7.50005-9"},{"key":"306_CR32","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1023\/B:MIND.0000021682.61365.56","volume":"14","author":"J Fetzer","year":"2004","unstructured":"Fetzer, J.: Information: Does it have to be true? Mind. Mach. 14, 223\u2013229 (2004)","journal-title":"Mind. Mach."},{"issue":"6","key":"306_CR33","doi-asserted-by":"publisher","first-page":"1149","DOI":"10.1007\/s11225-017-9714-3","volume":"105","author":"M Fitting","year":"2016","unstructured":"Fitting, M.: Paraconsistent logic, evidence, and justification. Stud. Logica. 105(6), 1149\u20131166 (2016)","journal-title":"Stud. Logica."},{"key":"306_CR34","doi-asserted-by":"crossref","unstructured":"Floridi, L.: The Philosophy of Information. Oxford University Press, (2011)","DOI":"10.1093\/acprof:oso\/9780199232383.001.0001"},{"key":"306_CR35","doi-asserted-by":"crossref","unstructured":"J\u00e1skowski, S.: Propositional calculus for contraditory deductive systems. Stud. Logica. 24(143\u2013157), 1948 (1969)","DOI":"10.1007\/BF02134311"},{"issue":"1","key":"306_CR36","first-page":"73","volume":"3","author":"A Loparic","year":"1986","unstructured":"Loparic, A.: A semantical study of some propositional calculi. The Journal of Non-Classical Logic 3(1), 73\u201395 (1986)","journal-title":"The Journal of Non-Classical Logic"},{"key":"306_CR37","unstructured":"Loparic, A., Alves, E.: The semantics of the systems $$Cn$$ of da Costa. In: Arruda, A., da\u00a0Costa, N., Sette, A. (eds.) Proceedings of the Third Brazilian Conference on Mathematical Logic, pp. 161\u2013172. S\u00e3o Paulo: Sociedade Brasileira de L\u00f3gica, (1980)"},{"key":"306_CR38","first-page":"119","volume":"106","author":"A Loparic","year":"1984","unstructured":"Loparic, A., da Costa, N.: Paraconsistency, paracompleteness and valuations. Logique et Anal. (N.S.) 106, 119\u2013131 (1984)","journal-title":"Logique et Anal. (N.S.)"},{"key":"306_CR39","doi-asserted-by":"publisher","first-page":"362","DOI":"10.1016\/1385-7258(72)90053-4","volume":"34","author":"EGK L\u00f3pez-Escobar","year":"1972","unstructured":"L\u00f3pez-Escobar, E.G.K.: Refutability and elementary number theory. Indag. Math. 34, 362\u2013374 (1972)","journal-title":"Indag. Math."},{"key":"306_CR40","unstructured":"Marcos, J.: Logics of Formal Inconsistency. PhD thesis, University of Campinas, (2005a)"},{"key":"306_CR41","first-page":"279","volume":"48","author":"J Marcos","year":"2005","unstructured":"Marcos, J.: Nearly every normal modal logic is paranormal. Logique et Anal. (N.S.) 48, 279\u2013300 (2005)","journal-title":"Logique et Anal. (N.S.)"},{"key":"306_CR42","doi-asserted-by":"publisher","first-page":"1021","DOI":"10.1007\/s11225-017-9748-6","volume":"105","author":"H Omori","year":"2017","unstructured":"Omori, H., Wansing, H.: 40 years of FDE: An introductory overview. Stud. Logica. 105, 1021\u20131049 (2017)","journal-title":"Stud. Logica."},{"key":"306_CR43","doi-asserted-by":"crossref","unstructured":"Omori, H., Wansing, H. (eds.) New Essays on Belnap-Dunn Logic. Springer (2019)","DOI":"10.1007\/978-3-030-31136-0"},{"key":"306_CR44","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/BF00157539","volume":"1","author":"CJ Posy","year":"1982","unstructured":"Posy, C.J.: A free IPC is a natural logic: Strong completeness for some intuitionistic free logics. Topoi 1, 30\u201343 (1982)","journal-title":"Topoi"},{"key":"306_CR45","doi-asserted-by":"crossref","unstructured":"Priest, G.: Paraconsistent logic. In: Handbook of Philosophical Logic (Vol. 6), pp. 287\u2013393. Springer, Dordrecht (2002)","DOI":"10.1007\/978-94-017-0460-1_4"},{"key":"306_CR46","unstructured":"Rodrigues, A., Carnielli, W.: On Barrio, Lo Guercio, and Szmuc on logics of evidence and truth. Logic and Logical Philosophy, forthcoming"},{"key":"306_CR47","doi-asserted-by":"publisher","first-page":"5451","DOI":"10.1007\/s11229-020-02571-w","volume":"198","author":"A Rodrigues","year":"2020","unstructured":"Rodrigues, A., Bueno-Soler, J., Carnielli, W.: Measuring evidence: a probabilistic approach to an extension of Belnap-Dunn Logic. Synthese 198, 5451\u20135480 (2020)","journal-title":"Synthese"},{"key":"306_CR48","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/2270047","volume":"33","author":"RH Thomason","year":"1968","unstructured":"Thomason, R.H.: On the strong semantical completeness of the intuitionistic predicate calculus. The Journal of Symbolic Logic 33, 1\u20137 (1968)","journal-title":"The Journal of Symbolic Logic"},{"key":"306_CR49","unstructured":"Troelstra, A.\u00a0S., van Dalen, D.: Constructivism in Mathematics, vol. I. North Holland, (1988)"}],"container-title":["Logica Universalis"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-022-00306-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11787-022-00306-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-022-00306-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,13]],"date-time":"2022-10-13T19:07:10Z","timestamp":1665688030000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11787-022-00306-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,6,23]]},"references-count":49,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2022,9]]}},"alternative-id":["306"],"URL":"https:\/\/doi.org\/10.1007\/s11787-022-00306-8","relation":{},"ISSN":["1661-8297","1661-8300"],"issn-type":[{"value":"1661-8297","type":"print"},{"value":"1661-8300","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,6,23]]},"assertion":[{"value":"21 November 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 May 2022","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"23 June 2022","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}