{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,12]],"date-time":"2024-12-12T05:54:19Z","timestamp":1733982859363,"version":"3.30.2"},"reference-count":16,"publisher":"Duke University Press","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[1995,1,1]]},"DOI":"10.1305\/ndjfl\/1040308827","type":"journal-article","created":{"date-parts":[[2003,2,25]],"date-time":"2003-02-25T21:32:16Z","timestamp":1046208736000},"source":"Crossref","is-referenced-by-count":1,"title":["Computing Verisimilitude"],"prefix":"10.1215","volume":"36","author":[{"given":"Chris","family":"Brink","sequence":"first","affiliation":[]},{"given":"Katarina","family":"Britz","sequence":"additional","affiliation":[]}],"member":"73","reference":[{"key":"1","unstructured":"[1] Andrews, P. B., <i>An Introduction to Mathematical Logic and Type Theory: to Truth through Proof<\/i>, Computer Science and Applied Mathematics Series, Academic Press, Orlando, 1986."},{"key":"2","unstructured":"[2] Barwise, J., editor, <i>Handbook of Mathematical Logic<\/i>, <i>Studies in Logic and the Foundations of Mathematics<\/i>, vol. 90, North-Holland, Amsterdam, 1977."},{"key":"3","doi-asserted-by":"publisher","unstructured":"[3] Brink, C., ``Verisimilitude: views and reviews,'' <i>History and Philosophy of Logic<\/i>, vol. 10 (1989), pp. 181--201.","DOI":"10.1080\/014453408908837149"},{"key":"4","doi-asserted-by":"publisher","unstructured":"[4] Brink, C., ``Power structures,'' <i>Algebra Universalis<\/i>, vol. 30 (1993), pp. 177--216.","DOI":"10.1007\/BF01196091"},{"key":"5","doi-asserted-by":"publisher","unstructured":"[5] Brink, C., and J. Heidema, ``A versimilar ordering of theories phrased in a propositional language,'' <i>British Journal for the Philosophy of Science<\/i>, vol. 38 (1987), pp. 533--549.","DOI":"10.1093\/bjps\/38.4.533"},{"key":"7","doi-asserted-by":"publisher","unstructured":"[7] Brink, C., J. J. C. Vermeulen, and J. P. G. Pretorius, ``Verisimilitude via vietoris,'' <i>Journal of Logic and Computation<\/i>, vol. 2 (1992), pp. 709--718.","DOI":"10.1093\/logcom\/2.6.709"},{"key":"8","doi-asserted-by":"publisher","unstructured":"[8] Burger, I. C., and J. Heidema, ``Comparing theories by their positive and negative contents,'' <i>The British Journal for the Philosophy of Science<\/i>, vol. 44 (1993), pp. 605--630.","DOI":"10.1093\/bjps\/45.2.605"},{"key":"9","doi-asserted-by":"publisher","unstructured":"[9] Makinson, D., and P. G\u00e4rdenfors, ``Relations between the logic of theory change and nonmonotonic logic,'' pp. 185--205 in <i>The Logic of Theory Change<\/i>, edited by A. Fuhrmann and M. Morreau, Lecture Notes in Artificial Intelligence, vol. 465, Springer-Verlag, Berlin, 1991.","DOI":"10.1007\/BFb0018421"},{"key":"10","doi-asserted-by":"crossref","unstructured":"[10] Miller, D., ``Popper's qualitative theory of verisimilitude,'' <i>British Journal for the Philosophy of Science<\/i>, vol. 25 (1974), pp. 166--177.","DOI":"10.1093\/bjps\/25.2.166"},{"key":"13","doi-asserted-by":"publisher","unstructured":"[13] Ryan, M. D., and P.-Y. Schobbens, ``Belief revision and verisimilitude,'' <i>Notre Dame Journal of Formal Logic<\/i>, vol. 36 (1995), pp. 15--29.","DOI":"10.1305\/ndjfl\/1040308826"},{"key":"15","unstructured":"[15] Shoham, Y., <i>Reasoning about Change<\/i>, MIT Press, Cambridge, 1988."},{"key":"11","doi-asserted-by":"crossref","unstructured":"[11] Popper, K. R., <i>Conjectures and Refutations<\/i>, Routledge and Kegan Paul, London, 1963.","DOI":"10.1063\/1.3050617"},{"key":"6","unstructured":"[6] Brink, C., and J. Heidema, ``A verisimilar ordering of propositional theories: the infinite case,'' Technical Report TR-ARP-1\/89, Research School of Social Sciences, Australian National University, Canberra, 1989."},{"key":"12","doi-asserted-by":"crossref","unstructured":"[12] Ryan, M. D., ``Defaults and revision in structured theories,'' pp. 362--373 in <i>Proceedings Sixth IEEE Symposium on Logic in Computer Science (LICS)<\/i>, IEEE, Amsterdam, 1991.","DOI":"10.1109\/LICS.1991.151660"},{"key":"14","doi-asserted-by":"crossref","unstructured":"[14] Schurz, G., and P. Weingartner, ``Verisimilitude defined by relevant consequence-elements,'' pp. 47--77 in <i>What is closer-to-the-truth?<\/i>, Rodopi, Amsterdam, 1987.","DOI":"10.1163\/9789004457027_005"},{"key":"16","doi-asserted-by":"publisher","unstructured":"[16] Tich\u00fd, P., ``On Popper's definitions of verisimilitude,'' <i>British Journal for the Philosophy of Science<\/i>, vol. 25 (1974), pp. 155--188.","DOI":"10.1093\/bjps\/27.1.25"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1305\/ndjfl\/1040308827","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,11]],"date-time":"2024-12-11T21:50:26Z","timestamp":1733953826000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-36\/issue-1\/Computing-Verisimilitude\/10.1305\/ndjfl\/1040308827.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,1,1]]},"references-count":16,"journal-issue":{"issue":"1","published-online":{"date-parts":[[1995,1,1]]}},"URL":"https:\/\/doi.org\/10.1305\/ndjfl\/1040308827","relation":{},"ISSN":["0029-4527"],"issn-type":[{"type":"print","value":"0029-4527"}],"subject":[],"published":{"date-parts":[[1995,1,1]]}}}