{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,11]],"date-time":"2025-01-11T05:37:34Z","timestamp":1736573854060,"version":"3.32.0"},"reference-count":10,"publisher":"Oxford University Press (OUP)","issue":"5","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006,10,1]]},"DOI":"10.1093\/logcom\/exl030","type":"journal-article","created":{"date-parts":[[2006,9,17]],"date-time":"2006-09-17T00:21:48Z","timestamp":1158452508000},"page":"671-684","source":"Crossref","is-referenced-by-count":14,"title":["On Realization of -modality by Evidence Terms"],"prefix":"10.1093","volume":"16","author":[{"given":"Natalia","family":"Rubtsova","sequence":"first","affiliation":[]}],"member":"286","published-online":{"date-parts":[[2006,9,16]]},"reference":[{"key":"key\n\t\t\t\t20180130041712_B1","doi-asserted-by":"crossref","DOI":"10.1016\/S1571-0661(04)00100-8","article-title":"Uniform provability realization of intuitionistic logic, modality and \u03bb-terms","volume":"23","author":"Artemov","year":"1999","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"key\n\t\t\t\t20180130041712_B2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2687821","article-title":"Explicit provability and constructive semantics","volume":"7","author":"Artemov","year":"2001","journal-title":"Bull. Symb. Logic"},{"year":"2005","author":"Artemov","article-title":"Evidence-based common knowledge. Technical Report TR-2004018. CUNY PhD Program in Computer Science","key":"key\n\t\t\t\t20180130041712_B3"},{"year":"1999","author":"Artemov","article-title":"On logic of knowledge with justifications. Technical Report CFIS 99-12","key":"key\n\t\t\t\t20180130041712_B4"},{"key":"key\n\t\t\t\t20180130041712_B5","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","article-title":"Reasoning About Knowledge","author":"Fagin","year":"1995"},{"key":"key\n\t\t\t\t20180130041712_B6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.apal.2004.04.009","article-title":"The logic of proofs, semantically","volume":"132","author":"Fitting","year":"2005","journal-title":"Ann. Pure Appl. Logic"},{"key":"key\n\t\t\t\t20180130041712_B7","doi-asserted-by":"crossref","first-page":"266","DOI":"10.1007\/3-540-63045-7_27","article-title":"Models for the logic of proofs. Lecture Notes in Computer Science","volume-title":"Logical Foundations of Computer Science, '97, Yaroslavl'","author":"Mkrtychev","year":"1997"},{"year":"2005","author":"Pacuit","article-title":"A note on some explicit modal logics","key":"key\n\t\t\t\t20180130041712_B8"},{"key":"key\n\t\t\t\t20180130041712_B9","first-page":"344","article-title":"Evidence-based knowledge for","volume-title":"In Proceedings of the Logic Colloquium 2005, Bull. Symb. Logic","author":"Rubtsova","year":"2006"},{"key":"key\n\t\t\t\t20180130041712_B10","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1007\/11753728_32","article-title":"Evidence reconstruction of epistemic modal logic","volume":"vol. 3967","author":"Rubtsova","year":"2006","journal-title":"Lecture Notes in Computer Science"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/16\/5\/671\/23695297\/exl030.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,10]],"date-time":"2025-01-10T21:50:12Z","timestamp":1736545812000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article\/16\/5\/671\/993752"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,9,16]]},"references-count":10,"journal-issue":{"issue":"5","published-online":{"date-parts":[[2006,9,16]]},"published-print":{"date-parts":[[2006,10,1]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exl030","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"type":"print","value":"0955-792X"},{"type":"electronic","value":"1465-363X"}],"subject":[],"published-other":{"date-parts":[[2006,10]]},"published":{"date-parts":[[2006,9,16]]}}}