{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T11:52:26Z","timestamp":1759146746974},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2013,12,7]],"date-time":"2013-12-07T00:00:00Z","timestamp":1386374400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theory Comput Syst"],"published-print":{"date-parts":[[2014,2]]},"DOI":"10.1007\/s00224-013-9510-z","type":"journal-article","created":{"date-parts":[[2013,12,6]],"date-time":"2013-12-06T01:25:29Z","timestamp":1386293129000},"page":"190-210","source":"Crossref","is-referenced-by-count":1,"title":["Prehistoric Graph in Modal Derivations and Self-Referentiality"],"prefix":"10.1007","volume":"54","author":[{"given":"Junhua","family":"Yu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,12,7]]},"reference":[{"issue":"1","key":"9510_CR1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2687821","volume":"7","author":"S.N. Artemov","year":"2001","unstructured":"Artemov, S.N.: Explicit provability and constructive semantics. Bull. Symb. Log. 7(1), 1\u201336 (2001)","journal-title":"Bull. Symb. Log."},{"key":"9510_CR2","unstructured":"Artemov, S.N.: The ontology of justifications in the logical setting. Technical Report 2011008, Ph.D. Program in Computer Science, The City University of New York (2011)"},{"key":"9510_CR3","unstructured":"Brezhnev, V.N.: On explicit counterparts of modal logics. Technical Report CFIS 2000-05, Cornell University (2000)"},{"issue":"1\u20133","key":"9510_CR4","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/j.tcs.2006.03.010","volume":"357","author":"V.N. Brezhnev","year":"2006","unstructured":"Brezhnev, V.N., Kuznets, R.: Making knowledge explicit: how hard it is. Theor. Comput. Sci. 357(1\u20133), 23\u201334 (2006)","journal-title":"Theor. Comput. Sci."},{"key":"9510_CR5","unstructured":"Brunnler, K., Goetschi, R., Kuznets, R.: A syntactic realization theorem for justification logics (2011) (draft)"},{"key":"9510_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-2794-5","volume-title":"Proof Methods for Modal and Intuitionistic Logics","author":"M. Fitting","year":"1983","unstructured":"Fitting, M.: Proof Methods for Modal and Intuitionistic Logics. Reidel, Dordrecht (1983)"},{"issue":"1","key":"9510_CR7","doi-asserted-by":"crossref","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. Ann. Pure Appl. Log. 132(1), 1\u201325 (2005)","journal-title":"Ann. Pure Appl. Log."},{"key":"9510_CR8","series-title":"LNCS","first-page":"212","volume-title":"LFCS 2007","author":"M. Fitting","year":"2007","unstructured":"Fitting, M.: Realizations and LP. In: Artemov, S., Nerode, A. (eds.) LFCS 2007. LNCS, vol. 4514, pp. 212\u2013223. Springer, Heidelberg (2007)"},{"key":"9510_CR9","series-title":"LNCS","first-page":"228","volume-title":"CSR 2008","author":"R. Kuznets","year":"2008","unstructured":"Kuznets, R.: Self-referentiality of justified knowledge. In: Hirsch, E.A., Razborov, A.A., Semenov, A., Slissenko, A. (eds.) CSR 2008. LNCS, vol. 5010, pp. 228\u2013239. Springer, Heidelberg (2008)"},{"issue":"4","key":"9510_CR10","doi-asserted-by":"crossref","first-page":"636","DOI":"10.1007\/s00224-009-9209-3","volume":"46","author":"R. Kuznets","year":"2010","unstructured":"Kuznets, R.: Self-referential justifications in epistemic logic. Theory Comput. Syst. 46(4), 636\u2013661 (2010)","journal-title":"Theory Comput. Syst."},{"key":"9510_CR11","series-title":"LNCS","first-page":"266","volume-title":"LFCS \u201997","author":"A. Mkrtychev","year":"1997","unstructured":"Mkrtychev, A.: Models for the logic of proofs. In: Adian, S.I., Nerode, A. (eds.) LFCS \u201997. LNCS, vol. 1234, pp. 266\u2013275. Springer, Heidelberg (1997)"},{"key":"9510_CR12","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139168717","volume-title":"Basic Proof Theory","author":"A.S. Troelstra","year":"2000","unstructured":"Troelstra, A.S., Schwichtenberg, H.: Basic Proof Theory, 2nd edn. Cambridge University Press, Cambridge (2000)","edition":"2"},{"key":"9510_CR13","series-title":"LNCS","first-page":"384","volume-title":"CSR 2010","author":"J. Yu","year":"2010","unstructured":"Yu, J.: Prehistoric phenomena and self-referentiality. In: Ablayev, F., Mayr, E.W. (eds.) CSR 2010. LNCS, vol. 6072, pp. 384\u2013396. Springer, Berlin (2010)"}],"container-title":["Theory of Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00224-013-9510-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00224-013-9510-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00224-013-9510-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T07:54:25Z","timestamp":1558684465000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00224-013-9510-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,12,7]]},"references-count":13,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2014,2]]}},"alternative-id":["9510"],"URL":"https:\/\/doi.org\/10.1007\/s00224-013-9510-z","relation":{},"ISSN":["1432-4350","1433-0490"],"issn-type":[{"value":"1432-4350","type":"print"},{"value":"1433-0490","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,12,7]]}}}