{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,24]],"date-time":"2026-02-24T00:40:21Z","timestamp":1771893621121,"version":"3.50.1"},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2019,8,1]],"date-time":"2019-08-01T00:00:00Z","timestamp":1564617600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2019,8,1]],"date-time":"2019-08-01T00:00:00Z","timestamp":1564617600000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"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-09871-4","type":"journal-article","created":{"date-parts":[[2019,8,1]],"date-time":"2019-08-01T09:02:55Z","timestamp":1564650175000},"page":"687-724","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["A Note on Strong Axiomatization of G\u00f6del Justification Logic"],"prefix":"10.1007","volume":"108","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1243-6787","authenticated-orcid":false,"given":"Nicholas","family":"Pischke","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,8,1]]},"reference":[{"key":"9871_CR1","unstructured":"Artemov, S., Operational Modal Logic, Technical Report MSI 95-29, Cornell University, Ithaca, NY, 1995."},{"issue":"1","key":"9871_CR2","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 Bulleting of Symbolic Logic 7(1):1\u201336, 2001.","journal-title":"The Bulleting of Symbolic Logic"},{"issue":"4","key":"9871_CR3","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1017\/S1755020308090060","volume":"1","author":"S Artemov","year":"2008","unstructured":"Artemov, S., The logic of justification, The Review of Symbolic Logic 1(4):477\u2013513, 2008.","journal-title":"The Review of Symbolic Logic"},{"key":"9871_CR4","doi-asserted-by":"crossref","unstructured":"Baaz, M., Infinite-valued G\u00f6del logics with 0-1-projections and relativizations, in Proc. G\u00f6del\u201996, Logic, Foundations of Mathematics, Computer Science and Physics, vol.\u00a06 of Lecture Notes in Logic, Springer, 1996, pp. 23\u201333.","DOI":"10.1007\/978-3-662-21963-8_2"},{"issue":"1\u20132","key":"9871_CR5","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/j.apal.2007.03.001","volume":"147","author":"M Baaz","year":"2007","unstructured":"Baaz, M., N.\u00a0Preining, and R.\u00a0Zach, First-order G\u00f6del logics, Annals of Pure and Applied Logic 147(1\u20132):23\u201347, 2007.","journal-title":"Annals of Pure and Applied Logic"},{"key":"9871_CR6","unstructured":"Baaz, M., and R.\u00a0Zach, Compact propositional G\u00f6del logics, in Proceedings of the 28th International Symposium on Multiple-Valued Logic, IEEE Computer Society Press, 1998, pp. 108\u2013113."},{"key":"9871_CR7","unstructured":"Bou, F., F.\u00a0Esteva, and L.\u00a0Godo, Modal systems based on many-valued logics, in Proceedings of the 5th EUSFLAT Conference New Dimensions in Fuzzy Logic and Related Technologies, vol.\u00a01, Universitas Ostraviensis, 2007, pp. 177\u2013182."},{"key":"9871_CR8","unstructured":"Caicedo, X., and R.\u00a0Rodriguez, A Godel modal logic, ArXiv e-prints, 2009. ArXiv, math.LO, arXiv:0903.2767 ."},{"issue":"2","key":"9871_CR9","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/s11225-010-9230-1","volume":"94","author":"X Caicedo","year":"2010","unstructured":"Caicedo, X., and R.\u00a0Rodriguez, Standard G\u00f6del modal logics, Studia Logica 94(2):189\u2013214, 2010.","journal-title":"Studia Logica"},{"issue":"1","key":"9871_CR10","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1093\/logcom\/exs036","volume":"25","author":"X Caicedo","year":"2015","unstructured":"Caicedo, X., and R.\u00a0Rodriguez, Bi-modal G\u00f6del logic over $$[0,1]$$-valued Kripke frames, Journal of Logic and Computation 25(1):37\u201355, 2015.","journal-title":"Journal of Logic and Computation"},{"issue":"2","key":"9871_CR11","doi-asserted-by":"publisher","first-page":"97","DOI":"10.2307\/2964753","volume":"24","author":"M Dummett","year":"1959","unstructured":"Dummett, M., A propositional calculus with denumerable matrix, Journal of Symbolic Logic 24(2):97\u2013106, 1959.","journal-title":"Journal of Symbolic Logic"},{"issue":"6","key":"9871_CR12","doi-asserted-by":"publisher","first-page":"597","DOI":"10.1016\/j.fss.2006.11.010","volume":"158","author":"F Esteva","year":"2007","unstructured":"Esteva, F., J.\u00a0Gispert, L.\u00a0Godo, and C.\u00a0Noguera, Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results, Fuzzy Sets and Systems 158(6):597\u2013618, 2007.","journal-title":"Fuzzy Sets and Systems"},{"key":"9871_CR13","unstructured":"Fan, T.-F., and C.-J. Liau, A logic for reasoning about justified uncertain beliefs, in Proceedings of the 24th International Joint Conference of Artificial Intelligence (IJCAI-15), AAAI Press, 2015, pp. 2948\u20132954."},{"issue":"3\u20134","key":"9871_CR14","doi-asserted-by":"crossref","first-page":"235","DOI":"10.3233\/FI-1991-153-404","volume":"15","author":"M Fitting","year":"1991","unstructured":"Fitting, M., Many-valued modal logics, Fundamenta Informaticae 15(3\u20134):235\u2013254, 1991.","journal-title":"Fundamenta Informaticae"},{"issue":"1\u20132","key":"9871_CR15","doi-asserted-by":"crossref","first-page":"55","DOI":"10.3233\/FI-1992-171-205","volume":"17","author":"M Fitting","year":"1992","unstructured":"Fitting, M., Many-valued modal logics II, Fundamenta Informaticae 17(1\u20132):55\u201373, 1992.","journal-title":"Fundamenta Informaticae"},{"key":"9871_CR16","unstructured":"Fitting, M., A semantics for the logic of proofs, Technical Report TR-2003012, City University of New York, 2003. Ph.D. Program in Computer Science."},{"issue":"1","key":"9871_CR17","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):1\u201325, 2005.","journal-title":"Annals of Pure and Applied Logic"},{"key":"9871_CR18","unstructured":"Ghari, M., Justification logics in a fuzzy setting, ArXiv e-prints, 2014. ArXiv, math.LO, arXiv:1407.4647 ."},{"issue":"5","key":"9871_CR19","doi-asserted-by":"publisher","first-page":"743","DOI":"10.1093\/jigpal\/jzw019","volume":"24","author":"M Ghari","year":"2016","unstructured":"Ghari, M., Pavelka-style fuzzy justification logics, Logic Journal of the IGPL 24(5):743\u2013773, 2016.","journal-title":"Logic Journal of the IGPL"},{"key":"9871_CR20","first-page":"65","volume":"69","author":"K G\u00f6del","year":"1932","unstructured":"G\u00f6del, K., Zum intuitionistischen Aussagenkalk\u00fcl, Anzeiger der Akademie der Wissenschaften in Wien 69:65\u201366, 1932.","journal-title":"Anzeiger der Akademie der Wissenschaften in Wien"},{"key":"9871_CR21","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":"9871_CR22","unstructured":"G\u00f6del, K., Vortrag bei Zilsel, in Kurt G\u00f6del Collected Works, vol. III, Oxford, 1938, pp. 62\u2013113. Transscripted Lecture."},{"key":"9871_CR23","doi-asserted-by":"crossref","unstructured":"H\u00e1jek, P., Metamathematics of Fuzzy Logic, vol.\u00a04 of Trends in Logic, Kluwer, Dordrecht, 1998.","DOI":"10.1007\/978-94-011-5300-3"},{"key":"9871_CR24","volume-title":"Knowledge and Belief","author":"J Hintikka","year":"1962","unstructured":"Hintikka, J., Knowledge and Belief, Cornell University Press, Ithaca, 1962."},{"issue":"3","key":"9871_CR25","doi-asserted-by":"publisher","first-page":"395","DOI":"10.2307\/2270905","volume":"34","author":"A Horn","year":"1969","unstructured":"Horn, A., Logic with truth values in a linearly ordered Heyting algebra, Journal of Symbolic Logic 34(3):395\u2013408, 1969.","journal-title":"Journal of Symbolic Logic"},{"key":"9871_CR26","doi-asserted-by":"crossref","unstructured":"Klement, E.\u00a0P., R.\u00a0Mesiar, and E.\u00a0Pap, Triangular Norms, vol.\u00a08 of Trends in Logic, Springer, Dordrecht, 2000.","DOI":"10.1007\/978-94-015-9540-7"},{"key":"9871_CR27","unstructured":"Kokkinis, I., Z.\u00a0Ognjanovi\u0107, and T.\u00a0Studer, Probabilistic justification logic, in Proceedings of Logical Foundations of Computer Science LFCS\u201916, vol. 9537 of Lecture Notes in Computer Science, Springer, 2016, pp. 174\u2013186."},{"key":"9871_CR28","unstructured":"Kuznets, R., Complexity Issues in Justification Logic, Ph.D. thesis, City University of New York Graduate Center, 2008."},{"issue":"1","key":"9871_CR29","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1016\/j.apal.2013.07.015","volume":"165","author":"R Milnikel","year":"2014","unstructured":"Milnikel, R., The logic of uncertain justifications, Annals of Pure and Applied Logic 165(1):305\u2013315, 2014.","journal-title":"Annals of Pure and Applied Logic"},{"key":"9871_CR30","unstructured":"Mkrtychev, A., Models for the logic of proofs, in Proceedings of Logical Foundations of Computer Science LFCS\u201997, vol. 1234 of Lecture Notes in Computer Science, Springer, 1997, pp. 266\u2013275."},{"key":"9871_CR31","unstructured":"Vidal, A., On modal expansions of t-norm based logics with rational constants, Ph.D. thesis, Artificial Intelligence Research Institute (IIIA-CSIC) and Universitat de Barcelona, 2015."},{"issue":"1","key":"9871_CR32","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1093\/logcom\/exv046","volume":"27","author":"A Vidal","year":"2017","unstructured":"Vidal, A., F.\u00a0Esteva, and L.\u00a0Godo, On modal extensions of product fuzzy logic, Journal of Logic and Computation 27(1):299\u2013336, 2017.","journal-title":"Journal of Logic and Computation"},{"issue":"3","key":"9871_CR33","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1016\/S0019-9958(65)90241-X","volume":"8","author":"LA Zadeh","year":"1965","unstructured":"Zadeh, L.\u00a0A., Fuzzy sets, Information and Control 8(3):338\u2013353, 1965.","journal-title":"Information and Control"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-019-09871-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-019-09871-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-019-09871-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,25]],"date-time":"2022-09-25T00:29:55Z","timestamp":1664065795000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-019-09871-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,8,1]]},"references-count":33,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2020,8]]}},"alternative-id":["9871"],"URL":"https:\/\/doi.org\/10.1007\/s11225-019-09871-4","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,8,1]]},"assertion":[{"value":"18 October 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"1 August 2019","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}