{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,29]],"date-time":"2026-03-29T15:24:15Z","timestamp":1774797855797,"version":"3.50.1"},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319720555","type":"print"},{"value":"9783319720562","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,11,28]],"date-time":"2017-11-28T00:00:00Z","timestamp":1511827200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-72056-2_13","type":"book-chapter","created":{"date-parts":[[2017,11,27]],"date-time":"2017-11-27T04:33:31Z","timestamp":1511757211000},"page":"211-220","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["On the Sharpness and the Single-Conclusion Property of Basic Justification Models"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5730-3561","authenticated-orcid":false,"given":"Vladimir N.","family":"Krupski","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,11,28]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"Artemov, S., Stra\u00dfen, T.: Functionality in the basic logic of proofs. Technical report IAM 92\u2013004, University of Bern (1993)","DOI":"10.1007\/3-540-56992-8_3"},{"issue":"4","key":"13_CR2","doi-asserted-by":"crossref","first-page":"477","DOI":"10.1017\/S1755020308090060","volume":"1","author":"S Artemov","year":"2008","unstructured":"Artemov, S.: The logic of justification. Rev. Symb. Log. 1(4), 477\u2013513 (2008)","journal-title":"Rev. Symb. Log."},{"key":"13_CR3","unstructured":"Artemov, S.: Epistemic Modeling with Justifications. arXiv:1703.07028v1 (2017)"},{"key":"13_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1007\/978-3-319-72056-2_2","volume-title":"Logical Foundations of Computer Science","author":"S Artemov","year":"2018","unstructured":"Artemov, S.: Justification awareness models. In: Artemov, S., Nerode, A. (eds.) LFCS 2018. LNCS, vol. 10703, pp. 22\u201336. Springer, Cham (2018)"},{"key":"13_CR5","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/S0304-3975(06)80003-4","volume":"87","author":"WM Farmer","year":"1991","unstructured":"Farmer, W.M.: Simple second-order languages for which unification is undecidable. Theor. Comput. Sci. 87, 25\u201341 (1991)","journal-title":"Theor. Comput. Sci."},{"key":"13_CR6","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/0304-3975(81)90040-2","volume":"13","author":"WG Goldfarb","year":"1981","unstructured":"Goldfarb, W.G.: The undecidability of the second-order unification problem. Theor. Comput. Sci. 13, 225\u2013230 (1981)","journal-title":"Theor. Comput. Sci."},{"key":"13_CR7","series-title":"LNCS","first-page":"167","volume-title":"Logical Foundations of Computer Science 1997","author":"VN Krupski","year":"1997","unstructured":"Krupski, V.N.: Operational logic of proofs with functionality condition on proof predicate. In: Adian, S., Nerode, A. (eds.) Logical Foundations of Computer Science 1997. LNCS, vol. 1234, pp. 167\u2013177. Springer, Heidelberg (1997)"},{"issue":"1\u20133","key":"13_CR8","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/S0168-0072(01)00058-6","volume":"113","author":"VN Krupski","year":"2001","unstructured":"Krupski, V.N.: The single-conclusion proof logic and inference rules specification. Ann. Pure Appl. Log. 113(1\u20133), 181\u2013206 (2001)","journal-title":"Ann. Pure Appl. Log."},{"issue":"5","key":"13_CR9","doi-asserted-by":"crossref","first-page":"645","DOI":"10.1093\/logcom\/exl028","volume":"16","author":"VN Krupski","year":"2006","unstructured":"Krupski, V.N.: Reference constructions in the single-conclusion proof logic. J. Log. Comput. 16(5), 645\u2013661 (2006)","journal-title":"J. Log. Comput."},{"key":"13_CR10","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1016\/j.tcs.2006.03.016","volume":"357","author":"VN Krupski","year":"2006","unstructured":"Krupski, V.N.: Referential logic of proofs. Theor. Comput. Sci. 357, 143\u2013199 (2006)","journal-title":"Theor. Comput. Sci."},{"key":"13_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"276","DOI":"10.1007\/978-3-642-13182-0_26","volume-title":"Computer Science \u2013 Theory and Applications","author":"VN Krupski","year":"2010","unstructured":"Krupski, V.N.: Symbolic models for single-conclusion proof logics. In: Ablayev, F., Mayr, E.W. (eds.) CSR 2010. LNCS, vol. 6072, pp. 276\u2013287. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-13182-0_26"},{"issue":"5","key":"13_CR12","doi-asserted-by":"crossref","first-page":"683","DOI":"10.1070\/SM2011v202n05ABEH004161","volume":"202","author":"VN Krupski","year":"2011","unstructured":"Krupski, V.N.: On symbolic models for single-conclusion logic of proofs. Sb. Math. 202(5), 683\u2013695 (2011)","journal-title":"Sb. Math."}],"container-title":["Lecture Notes in Computer Science","Logical Foundations of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-72056-2_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,6]],"date-time":"2019-10-06T17:30:24Z","timestamp":1570383024000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-72056-2_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11,28]]},"ISBN":["9783319720555","9783319720562"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-72056-2_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,11,28]]}}}