{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,27]],"date-time":"2025-09-27T13:21:34Z","timestamp":1758979294285,"version":"3.37.3"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319243115"},{"type":"electronic","value":"9783319243122"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-24312-2_16","type":"book-chapter","created":{"date-parts":[[2015,9,10]],"date-time":"2015-09-10T10:06:46Z","timestamp":1441879606000},"page":"221-236","source":"Crossref","is-referenced-by-count":2,"title":["Realization Theorems for Justification Logics: Full Modularity"],"prefix":"10.1007","author":[{"given":"Annemarie","family":"Borg","sequence":"first","affiliation":[]},{"given":"Roman","family":"Kuznets","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,11,8]]},"reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"Arisaka, R., Das, A., Stra\u00dfburger, L.: On nested sequents for constructive modal logics. E-print 1505.06896, arXiv, May 2015","DOI":"10.2168\/LMCS-11(3:7)2015"},{"issue":"1","key":"16_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/2687821","volume":"7","author":"S.N. Artemov","year":"2001","unstructured":"Artemov, S.N.: Explicit provability and constructive semantics. Bulletin of Symbolic Logic\u00a07(1), 1\u201336 (2001)","journal-title":"Bulletin of Symbolic Logic"},{"key":"16_CR3","unstructured":"Artemov, S.N., Fitting, M.: Justification logic. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy. Fall 2012 edn. (2012), \n                      \n                        http:\/\/plato.stanford.edu\/archives\/fall2012\/entries\/logic-justification\/"},{"key":"16_CR4","unstructured":"Artemov, S.N., Kazakov, E.L., Shapiro, D.: Logic of knowledge with justifications. Tech. Rep. CFIS 99\u201312, Cornell University (1999)"},{"key":"16_CR5","unstructured":"Brezhnev, V.N.: On explicit counterparts of modal logics. Tech. Rep. CFIS 2000\u201305, Cornell University (2000)"},{"issue":"1\u20133","key":"16_CR6","doi-asserted-by":"publisher","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. Theoretical Computer Science\u00a0357(1\u20133), 23\u201334 (2006)","journal-title":"Theoretical Computer Science"},{"issue":"6","key":"16_CR7","doi-asserted-by":"publisher","first-page":"551","DOI":"10.1007\/s00153-009-0137-3","volume":"48","author":"K. Br\u00fcnnler","year":"2009","unstructured":"Br\u00fcnnler, K.: Deep sequent systems for modal logic. Archive for Mathematical Logic\u00a048(6), 551\u2013577 (2009)","journal-title":"Archive for Mathematical Logic"},{"issue":"6","key":"16_CR8","doi-asserted-by":"publisher","first-page":"1046","DOI":"10.1016\/j.jcss.2014.04.001","volume":"80","author":"S. Bucheli","year":"2014","unstructured":"Bucheli, S., Kuznets, R., Studer, T.: Realizing public announcements by justifications. Journal of Computer and System Sciences\u00a080(6), 1046\u20131066 (2014)","journal-title":"Journal of Computer and System Sciences"},{"issue":"1","key":"16_CR9","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\u00a0132(1), 1\u201325 (2005)","journal-title":"Annals of Pure and Applied Logic"},{"issue":"3","key":"16_CR10","doi-asserted-by":"publisher","first-page":"368","DOI":"10.1016\/j.apal.2009.07.010","volume":"161","author":"M. Fitting","year":"2009","unstructured":"Fitting, M.: Realizations and LP. Annals of Pure and Applied Logic\u00a0161(3), 368\u2013387 (2009)","journal-title":"Annals of Pure and Applied Logic"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"Fitting, M.: Realization using the model existence theorem. Journal of Logic and Computation Advance Access, July 2013, \n                      \n                        http:\/\/dx.doi.org\/10.1093\/logcom\/ext025","DOI":"10.1093\/logcom\/ext025"},{"issue":"1","key":"16_CR12","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1215\/00294527-2377869","volume":"55","author":"M. Fitting","year":"2014","unstructured":"Fitting, M.: Nested sequents for intuitionistic logics. Notre Dame Journal of Formal Logic\u00a055(1), 41\u201361 (2014)","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"3","key":"16_CR13","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1016\/j.apal.2014.11.002","volume":"166","author":"M. Fitting","year":"2015","unstructured":"Fitting, M., Kuznets, R.: Modal interpolation via nested sequents. Annals of Pure and Applied Logic\u00a0166(3), 274\u2013305 (2015)","journal-title":"Annals of Pure and Applied Logic"},{"key":"16_CR14","doi-asserted-by":"crossref","unstructured":"Fitting, M., Mendelsohn, R.L.: First-Order Modal Logic, Synthese Library, vol. 277. Kluwer Academic Publishers (1998)","DOI":"10.1007\/978-94-011-5292-1"},{"key":"16_CR15","unstructured":"Garson, J.: Modal logic. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy. Summer 2014 edn. (2014), \n                      \n                        http:\/\/plato.stanford.edu\/archives\/sum2014\/entries\/logic-modal\/"},{"issue":"9","key":"16_CR16","doi-asserted-by":"publisher","first-page":"1271","DOI":"10.1016\/j.apal.2012.02.002","volume":"163","author":"R. Goetschi","year":"2012","unstructured":"Goetschi, R., Kuznets, R.: Realization for justification logics via nested sequents: Modularity through embedding. Annals of Pure and Applied Logic\u00a0163(9), 1271\u20131298 (2012)","journal-title":"Annals of Pure and Applied Logic"},{"issue":"3","key":"16_CR17","doi-asserted-by":"publisher","first-page":"849","DOI":"10.1007\/s11229-011-9905-9","volume":"187","author":"R. Hakli","year":"2012","unstructured":"Hakli, R., Negri, S.: Does the deduction theorem fail for modal logic? Synthese\u00a0187(3), 849\u2013867 (2012)","journal-title":"Synthese"},{"issue":"4","key":"16_CR18","doi-asserted-by":"publisher","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 of Computing Systems\u00a046(4), 636\u2013661 (2010)","journal-title":"Theory of Computing Systems"},{"key":"16_CR19","unstructured":"Marin, S., Stra\u00dfburger, L.: Label-free modular systems for classical and intuitionistic modal logics. In: Advances in Modal Logic, vol. 10, pp. 387\u2013406. College Publications (2014)"},{"key":"16_CR20","unstructured":"Mints, G.E.: Lewis\u2019 systems and system T (1965\u20131973). In: Selected Papers in Proof Theory, Studies in Proof Theory, vol.\u00a03, pp. 221\u2013294. Bibliopolis and North-Holland (1992)"},{"issue":"5","key":"16_CR21","doi-asserted-by":"publisher","first-page":"671","DOI":"10.1093\/logcom\/exl030","volume":"16","author":"N.M. Rubtsova","year":"2006","unstructured":"Rubtsova, N.M.: On realization of S5-modality by evidence terms. Journal of Logic and Computation\u00a016(5), 671\u2013684 (2006)","journal-title":"Journal of Logic and Computation"},{"issue":"1","key":"16_CR22","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1016\/j.apal.2013.07.019","volume":"165","author":"J. Yu","year":"2014","unstructured":"Yu, J.: Self-referentiality of Brouwer\u2013Heyting\u2013Kolmogorov semantics. Annals of Pure and Applied Logic\u00a0165(1), 371\u2013388 (2014)","journal-title":"Annals of Pure and Applied Logic"}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning with Analytic Tableaux and Related Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-24312-2_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T18:58:33Z","timestamp":1559242713000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-24312-2_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319243115","9783319243122"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-24312-2_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}