{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,5,3]],"date-time":"2023-05-03T00:40:15Z","timestamp":1683074415579},"reference-count":9,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[1994,12,1]],"date-time":"1994-12-01T00:00:00Z","timestamp":786240000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[1994,12]]},"DOI":"10.1007\/bf01530789","type":"journal-article","created":{"date-parts":[[2005,4,19]],"date-time":"2005-04-19T03:07:12Z","timestamp":1113880032000},"page":"291-321","source":"Crossref","is-referenced-by-count":0,"title":["Syntactical models and fixed points for the basic logic of proofs"],"prefix":"10.1007","volume":"12","author":[{"given":"Tyko","family":"Stra\ufffden","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","unstructured":"S. Art\u00ebmov and T. Stra\u00dfen, The Basic Logic of Proofs, in: E. B\u00f6rger, G. J\u00e4ger, H. Kleine B\u00fcning and M.M. Richter (eds.),Computer Science Logic, Vol. 702 of Lecture Notes in Computer Science, Proc. 6th Workshop, CSL'92, San Miniato, Italy, 1992 (Springer, 1993) pp. 14?28.","DOI":"10.1007\/3-540-56992-8_3"},{"key":"CR2","volume-title":"Tech. Rep. IAM 93-004","author":"S. Art\u00ebmov","year":"1993","unstructured":"S. Art\u00ebmov and T. Stra\u00dfen, Functionality in the Basic Logic of Proofs, Tech. Rep. IAM 93-004, Department for Computer Science, University of Berne, Switzerland (1993)."},{"key":"CR3","doi-asserted-by":"crossref","unstructured":"S. Art\u00ebmov and T. Stra\u00dfen, The Logic of the G\u00f6del Proof Predicate, in: G. Gottlob, A. Leitsch and D. Mundici (eds.),Computational Logic and Proof Theory, Vol. 713 of Lecture Notes in Computer Science, Proc. Third Kurt G\u00f6del Colloquium, KGC'93, Brno, Czech Republic, 1993 (Springer, 1993) pp. 71?82.","DOI":"10.1007\/BFb0022556"},{"key":"CR4","unstructured":"G. Boolos,The Unprovability of Consistency: an Essay in Modal Logic (Cambridge University Press, 1979)."},{"key":"CR5","volume-title":"Vol. 73 of Studies in Logic and the Foundations of Mathematics","author":"C.C. Chang","year":"1990","unstructured":"C.C. Chang and H.J. Keisler,Model Theory, Vol. 73 of Studies in Logic and the Foundations of Mathematics (North-Holland, Amsterdam, 1990) 3rd Ed.","edition":"3rd Ed."},{"key":"CR6","doi-asserted-by":"crossref","unstructured":"J. Lassez, M. Maher and K. Marriott, Unification revisited, in: J. Minker (ed.)Foundations of Deductive Databases and Logic Programming (Morgan Kaufmann, 1987) chap. 15, pp. 587?625.","DOI":"10.1016\/B978-0-934613-40-8.50019-1"},{"key":"CR7","doi-asserted-by":"crossref","first-page":"821","DOI":"10.1016\/S0049-237X(08)71123-6","volume-title":"Handbook of Mathematical Logic","author":"C. Smorynski","year":"1977","unstructured":"C. Smorynski, The incompleteness theorems, in: J. Barwise (ed.),Handbook of Mathematical Logic (North-Holland, Amsterdam, 1977) chap. D.1, pp. 821?865."},{"key":"CR8","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/BF02757006","volume":"25","author":"R.M. Solovay","year":"1976","unstructured":"R.M. Solovay, Provability interpretations of modal logic, Israel J. Math. 25, (1976) 287?304.","journal-title":"Israel J. Math."},{"key":"CR9","unstructured":"T. Stra\u00dfen, The Basic Logic of Proofs, Ph.D. Thesis, University of Berne (1994)."}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01530789\/fulltext.html","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01530789.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01530789\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01530789","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,3]],"date-time":"2023-05-03T00:19:45Z","timestamp":1683073185000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01530789"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,12]]},"references-count":9,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[1994,12]]}},"alternative-id":["BF01530789"],"URL":"https:\/\/doi.org\/10.1007\/bf01530789","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,12]]}}}