{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:29:48Z","timestamp":1740122988759,"version":"3.37.3"},"reference-count":42,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2019,8,21]],"date-time":"2019-08-21T00:00:00Z","timestamp":1566345600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2019,8,21]],"date-time":"2019-08-21T00:00:00Z","timestamp":1566345600000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100000923","name":"Australian Research Council","doi-asserted-by":"crossref","award":["DP160100903"],"award-info":[{"award-number":["DP160100903"]}],"id":[{"id":"10.13039\/501100000923","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2020,8]]},"DOI":"10.1007\/s11225-019-09874-1","type":"journal-article","created":{"date-parts":[[2019,8,21]],"date-time":"2019-08-21T07:02:28Z","timestamp":1566370948000},"page":"751-778","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Justification Logic with Confidence"],"prefix":"10.1007","volume":"108","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0404-0942","authenticated-orcid":false,"given":"Ted","family":"Shear","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0398-8280","authenticated-orcid":false,"given":"John","family":"Quiggin","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,8,21]]},"reference":[{"issue":"1","key":"9874_CR1","doi-asserted-by":"publisher","first-page":"179","DOI":"10.5840\/philtopics198614118","volume":"14","author":"WP Alston","year":"1986","unstructured":"Alston, W.P., Internalism and externalism in epistemology, Philosophical Topics 14(1):179\u2013221, 1986.","journal-title":"Philosophical Topics"},{"key":"9874_CR2","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/0168-0072(94)90007-8","volume":"67","author":"S Artemov","year":"1994","unstructured":"Artemov, S., Logic of proofs, Annals of Pure and Applied Logic 67:29\u201359, 1994.","journal-title":"Annals of Pure and Applied Logic"},{"key":"9874_CR3","unstructured":"Artemov, S., Operational modal logic, Technical Report MSI 95-29, Cornell University, 1995."},{"issue":"1","key":"9874_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/2687821","volume":"7","author":"S Artemov","year":"2001","unstructured":"Artemov, S., Explicit provability and constructive semantics, The Bulletin of Symbolic Logic 7(1):1\u201336, 2001.","journal-title":"The Bulletin of Symbolic Logic"},{"issue":"1\u20132","key":"9874_CR5","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/s11225-012-9387-x","volume":"100","author":"S Artemov","year":"2012","unstructured":"Artemov, S., The ontology of justifications in a logical setting, Studia Logica 100(1\u20132):17\u201330, 2012.","journal-title":"Studia Logica"},{"key":"9874_CR6","unstructured":"Artemov, S., and M. Fitting, Justification Logic, in E.N. Zalta, (ed.), The Stanford Encyclopedia of Philosophy, Winter, 2016."},{"key":"9874_CR7","doi-asserted-by":"crossref","unstructured":"Artemov, S., and R. Kuznets, Logical omniscience as a computational complexity problem, in A. Heifetz, (ed.), Proceedings of the Twelfth Conference, TARK 2009, Stanford, 2009, pp. 14\u201323. Theoretical Aspects of Rationality and Knowledge, ACM.","DOI":"10.1145\/1562814.1562821"},{"key":"9874_CR8","doi-asserted-by":"crossref","unstructured":"Artemov, S., and T. Stra\u00dfen, The basic logic of proofs, in E. B\u00f6rger, G. J\u00e4ger, H.K. B\u00fcning, S. Martini, and M. Richter, (eds.), Computer Science Logic, volume 702 of Lecture Notes in Computer Science, Berlin, Heidelberg, 1992, pp. 14\u201328. International Workshop on Computer Science Logic, Springer.","DOI":"10.1007\/3-540-56992-8_3"},{"key":"9874_CR9","unstructured":"Artemov, S., and T. Stra\u00dfen, The Basic Logic of Proofs, Technical Report IAM 92-018, University of Berne, Switzerland, September 1992."},{"key":"9874_CR10","volume-title":"Risk and Rationality","author":"L Buchak","year":"2014","unstructured":"Buchak, L., Risk and Rationality, Oxford University Press, Oxford, 2014."},{"key":"9874_CR11","doi-asserted-by":"publisher","first-page":"91","DOI":"10.2307\/2214070","volume":"2","author":"S Cohen","year":"1988","unstructured":"Cohen, S., How to be a fallibilist, Philosophical Perspectives 2:91\u2013123, 1988.","journal-title":"Philosophical Perspectives"},{"key":"9874_CR12","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/0004-3702(87)90003-8","volume":"34","author":"R Fagin","year":"1988","unstructured":"Fagin, R., and J.Y. Halpern, Belief, awareness, and limited reasoning, Artificial Intelligence 34:39\u201376, 1988.","journal-title":"Artificial Intelligence"},{"key":"9874_CR13","unstructured":"Fan, T.-F., and C.-J. Liau, A logic for reasoning about justified uncertain beliefs. in Proceedings of the 24th International Conference on Artificial Intelligence, IJCAI\u201915, Buenos Aires, Argentina, 2015, pp. 2948\u20132954. AAAI Press."},{"key":"9874_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.apal.2004.04.009","volume":"132","author":"M Fitting","year":"2005","unstructured":"Fitting, M., The logic of proofs, semantically, Annals of Pure and Applied Logic 132:1\u201325, 2005.","journal-title":"Annals of Pure and Applied Logic"},{"issue":"1","key":"9874_CR15","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/j.apal.2013.07.011","volume":"165","author":"M Fitting","year":"2014","unstructured":"Fitting, M., Possible world semantics for first-order logic of proofs, Annals of Pure and Applied Logic 165(1):225\u2013240, 2014.","journal-title":"Annals of Pure and Applied Logic"},{"key":"9874_CR16","unstructured":"Ghari, M., Justification Logics in a Fuzzy Setting. ArXiv e-prints, 2014."},{"key":"9874_CR17","first-page":"39","volume":"4","author":"K G\u00f6del","year":"1933","unstructured":"G\u00f6del, K., Eine interpretation des intuitionistischen aussagenkalk\u00fcls, Ergebnisse eines mathematischen Kolloquiums 4:39\u201340, 1933.","journal-title":"Ergebnisse eines mathematischen Kolloquiums"},{"key":"9874_CR18","doi-asserted-by":"crossref","unstructured":"Halpern, J.Y., and R. Pucella, Dealing with logical omniscience. in Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge, TARK \u201907, New York, NY, USA, 2007, pp. 169\u2013176. ACM.","DOI":"10.1145\/1324249.1324273"},{"key":"9874_CR19","doi-asserted-by":"crossref","DOI":"10.1515\/9781400868995","volume-title":"Thought","author":"G Harman","year":"1973","unstructured":"Harman, G., Thought, Princeton University Press, Princeton, 1973."},{"key":"9874_CR20","doi-asserted-by":"crossref","unstructured":"Hintikka, J., Impossible possible worlds vindicated, Journal of Philosophy 4(4):475\u2013484, November 1975.","DOI":"10.1007\/BF00558761"},{"key":"9874_CR21","unstructured":"Holliday, W.H., Knowing What Follows: Epistemic Closure and Epistemic Logic, Dissertation. Stanford University, 2012."},{"key":"9874_CR22","doi-asserted-by":"crossref","unstructured":"Humberstone, L., Heterogeneous logic, Erkenntnis 29(3):395\u2013435, November 1988.","DOI":"10.1007\/BF00183072"},{"key":"9874_CR23","doi-asserted-by":"crossref","unstructured":"Kokkinis, I., The complexity of non-iterated probabilistic justification logic, in Foundations of Information and Knowledge Systems - 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings, 2016, pp. 292\u2013310.","DOI":"10.1007\/978-3-319-30024-5_16"},{"issue":"4","key":"9874_CR24","doi-asserted-by":"publisher","first-page":"662","DOI":"10.1093\/jigpal\/jzv025","volume":"23","author":"I Kokkinis","year":"2015","unstructured":"Kokkinis, I., P. Maksimovic, Z. Ognjanovic, and T. Studer, First steps towards probabilistic justification logic, Logic Journal of the IGPL 23(4):662\u2013687, 2015.","journal-title":"Logic Journal of the IGPL"},{"key":"9874_CR25","doi-asserted-by":"crossref","unstructured":"Kokkinis, I., Z. Ognjanovic, and T. Studer, Probabilistic justification logic, in Logical Foundations of Computer Science - International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings, 2016, pp. 174\u2013186.","DOI":"10.1007\/978-3-319-27683-0_13"},{"key":"9874_CR26","unstructured":"Kuznets, R., and T. Studer, Justifications, ontology, and conservativity, in T. Bolander, T. Bra\u00fcner, S. Ghilardi, and L. Moss, (eds.), Advances in Modal Logic, volume\u00a09, College Publications, 2012, pp. 437\u2013458."},{"key":"9874_CR27","unstructured":"Milnikel, B., The logic of uncertain justifications, in S. Artemov, and A. Nerode, (eds.), Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings, volume 7734 of Lecture Notes in Computer Science, Berlin, Springer Berlin Heidelberg, 2013, pp. 296\u2013306."},{"key":"9874_CR28","unstructured":"Mkrtychev, A., Models for the logic of proofs. in S. Adian, and A.\u00a0Nerode, (eds.), Logical Foundations of Computer Science: 4th International Symposium, LFCS\u201997 Yaroslavl, Russia, July 6\u201312, 1997 Proceedings, Berlin, Springer, 1997, pp. 266\u2013275."},{"key":"9874_CR29","volume-title":"Knowledge and Evidence","author":"PK Moser","year":"1989","unstructured":"Moser, P.K., Knowledge and Evidence. Cambridge University Press, Cambridge, 1989."},{"key":"9874_CR30","doi-asserted-by":"crossref","unstructured":"Ognjanovi\u0107, Z., N. Savi\u0107, and T. Studer. Justification logic with approximate conditional probabilities, in A. Baltag, J. Seligman, and T. Yamada, (eds.), Logic, Rationality, and Interaction. LORI 2017, volume 10455 of Lecture Notes in Computer Science, Berlin, Heidelberg, Springer, 2017, pp. 681\u2013686.","DOI":"10.1007\/978-3-662-55665-8_52"},{"key":"9874_CR31","unstructured":"Pacuit, E., A note on some explicit modal logics, Technical Report PP-2006-29, University of Amsterdam. ILLC Publications, Amsterdam, 2006."},{"issue":"3","key":"9874_CR32","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1017\/epi.2018.28","volume":"15","author":"LA Paul","year":"2018","unstructured":"Paul, L.A., and J. Quiggin, Real world problems, Episteme, 15(3):363\u2013382, 2018.","journal-title":"Episteme"},{"key":"9874_CR33","volume-title":"Contemporary Theories of Knowledge","author":"JL Pollock","year":"1986","unstructured":"Pollock, J.L., Contemporary Theories of Knowledge. Rowman and Littlefield, Savage, 1986."},{"key":"9874_CR34","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1016\/0167-2681(82)90008-7","volume":"3","author":"J Quiggin","year":"1982","unstructured":"Quiggin, J., A Theory of Anticipated Utility, Journal of Economic Behavior and Organization 3:323\u2013343, 1982.","journal-title":"Journal of Economic Behavior and Organization"},{"key":"9874_CR35","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-2182-8","volume-title":"Generalized Expected Utility Theory","author":"J Quiggin","year":"1993","unstructured":"Quiggin, J., Generalized Expected Utility Theory. Springer, Dordrecht, 1993."},{"key":"9874_CR36","doi-asserted-by":"crossref","DOI":"10.1515\/9780691214696","volume-title":"A Mathematical Theory of Evidence","author":"G Shafer","year":"1976","unstructured":"Shafer, G., A Mathematical Theory of Evidence. Princeton University Press, Princeton, 1976."},{"key":"9874_CR37","doi-asserted-by":"crossref","unstructured":"Stalnaker, R., The problem of logical omniscience, i. Synthese 89(3):425\u2013440, December 1991.","DOI":"10.1007\/BF00413506"},{"key":"9874_CR38","unstructured":"Standefer, S., Tracking reasons with extensions of relevant logics. Logic Journal of the IGPL, forthcoming."},{"key":"9874_CR39","unstructured":"Standefer, S., T. Shear, and R. French, Getting some closure with justification logic. Manuscript, 2019."},{"issue":"2","key":"9874_CR40","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3091118","volume":"18","author":"C-P Su","year":"2017","unstructured":"Su, C.-P., T.-F. Fan, and C.-J. Liau, Possibilistic justification logic: Reasoning about justified uncertain beliefs, ACM Trans. Comput. Logic 18(2):1\u201321, 2017.","journal-title":"ACM Trans. Comput. Logic"},{"key":"9874_CR41","doi-asserted-by":"crossref","unstructured":"Swain, M., Justification and the basis of belief, in G.S. Pappas, (ed.), Justification and Knowledge: New Studies in Epistemology, Springer Netherlands, Dordrecht, 1979, pp. 25\u201349.","DOI":"10.1007\/978-94-009-9493-5_2"},{"key":"9874_CR42","first-page":"5","volume":"34","author":"J van Benthem","year":"1991","unstructured":"van Benthem, J., Reflections on epistemic logic, Logique et Analyse 34:5\u201314, 1991.","journal-title":"Logique et Analyse"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-019-09874-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-019-09874-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-019-09874-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,26]],"date-time":"2022-09-26T00:54:00Z","timestamp":1664153640000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-019-09874-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,8,21]]},"references-count":42,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2020,8]]}},"alternative-id":["9874"],"URL":"https:\/\/doi.org\/10.1007\/s11225-019-09874-1","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2019,8,21]]},"assertion":[{"value":"21 December 2017","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"21 August 2019","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}