{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,27]],"date-time":"2025-09-27T13:20:40Z","timestamp":1758979240445},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540727323"},{"type":"electronic","value":"9783540727347"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-72734-7_15","type":"book-chapter","created":{"date-parts":[[2007,6,28]],"date-time":"2007-06-28T09:40:50Z","timestamp":1183023650000},"page":"212-223","source":"Crossref","is-referenced-by-count":3,"title":["Realizations and LP"],"prefix":"10.1007","author":[{"given":"Melvin","family":"Fitting","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"15_CR1","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 Bulletin for Symbolic Logic\u00a07(1), 1\u201336 (2001)","journal-title":"The Bulletin for Symbolic Logic"},{"key":"15_CR2","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\u00a04, 39\u201340 (1933), English translation in: Feferman, S., Kleene, J.D., Moore, S.C., Solovay, G.H., van Heijenoort, R.M.J. (eds.): Kurt G\u00f6del Collected Works, vol. 1. Oxford University Press, New York (1986)","journal-title":"Ergebnisse eines mathematischen Kolloquiums"},{"key":"15_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.apal.2004.04.009","volume":"132","author":"M.C. Fitting","year":"2005","unstructured":"Fitting, M.C.: The logic of proofs, semantically. Annals of Pure and Applied Logic\u00a0132, 1\u201325 (2005)","journal-title":"Annals of Pure and Applied Logic"},{"issue":"3","key":"15_CR4","first-page":"510","volume":"12","author":"R. Kuznets","year":"2006","unstructured":"Kuznets, R.: On self-referentiality in modal logic. The Bulletin of Symbolic Logic\u00a012(3), 510 (2006)","journal-title":"The Bulletin of Symbolic Logic"},{"key":"15_CR5","unstructured":"Fitting, M.C.: A replacement theorem for LP. Technical report, CUNY Ph.D. Program in Computer Science (2006), \n                  \n                    http:\/\/www.cs.gc.cuny.edu\/tr\/"},{"key":"15_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/11753728_32","volume-title":"Computer Science \u2013 Theory and Applications","author":"N. Rubtsova","year":"2006","unstructured":"Rubtsova, N.: Evidence reconstruction of epistemic modal logic S5. In: Grigoriev, D., Harrison, J., Hirsch, E.A. (eds.) CSR 2006. LNCS, vol.\u00a03967, pp. 313\u2013321. Springer, Heidelberg (2006)"},{"volume-title":"Kurt G\u00f6del Collected Works, vol. 1","year":"1986","key":"15_CR7","unstructured":"Feferman, S., Kleene, J.D., Moore, S.C., Solovay, G.H., van Heijenoort, R.M.J. (eds.): Kurt G\u00f6del Collected Works, vol. 1. Oxford University Press, New York (1986)"}],"container-title":["Lecture Notes in Computer Science","Logical Foundations of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-72734-7_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:04:44Z","timestamp":1605762284000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72734-7_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540727323","9783540727347"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72734-7_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}