{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T16:01:55Z","timestamp":1648828915914},"reference-count":22,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":5323,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[1999]]},"DOI":"10.1016\/s1571-0661(04)00100-8","type":"journal-article","created":{"date-parts":[[2004,2,5]],"date-time":"2004-02-05T10:34:35Z","timestamp":1075977275000},"page":"3-12","source":"Crossref","is-referenced-by-count":8,"title":["Uniform provability realization of intuitionistic logic, modality and \u03bb-terms"],"prefix":"10.1016","volume":"23","author":[{"given":"Sergei N.","family":"Artemov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)00100-8_NEWBIB1","unstructured":"S. Artemov, Operational Modal Logic, Technical Report MSI 95-29, Cornell University, 1995 (http:\/\/www.cs.cornell.edu\/home\/artemov\/MSI98-29.ps)."},{"key":"10.1016\/S1571-0661(04)00100-8_NEWBIB2","doi-asserted-by":"crossref","unstructured":"S. Artemov, Logic of Proofs: a Unified Semantics for Modality and \u03bb-terms, Technical Report CFIS 98-06, Cornell University, 1998 (http:\/\/www.cs.cornell.edu\/home\/artemov\/CFIS98-06.ps).","DOI":"10.21236\/ADA348904"},{"key":"10.1016\/S1571-0661(04)00100-8_NEWBIB3","unstructured":"S. Artemov, Unified Semantics for modality and \u03bb-terms via Proof Polynomials, Technical Report CFIS 99-03, Cornell University, 1999. To appear in \u201cLogic, Language and Computation'97, CSLI Publications\u201d, Stanford University, 1999."},{"key":"10.1016\/S1571-0661(04)00100-8_NEWBIB4","unstructured":"G. Bierman and V. de Paiva, Intuitionistic necessity revisited, Proceedings of the logic of Work Conference, Amsterdam (December 1992), Second revison, June 1996, (http:\/\/theory.doc.ic.ac.uk\/tfm\/papers.html)."},{"key":"10.1016\/S1571-0661(04)00100-8_NEWBIB5","first-page":"39","article-title":"Eine Interpretation des intuitionistischen Aussagenkalkuls","volume":"Bd. 4","author":"G\u00e4odel","year":"1933","journal-title":"Ergebnisse Math. Colloq"},{"key":"10.1016\/S1571-0661(04)00100-8_NEWBIB6","series-title":"\u201cKurt G\u00f6del Collected Works. Volume III\u201d","article-title":"Vortrag bei Zilsel (1938)","author":"G\u00f6del","year":"1995"},{"key":"10.1016\/S1571-0661(04)00100-8_NEWBIB7","series-title":"\u201cIntuitionism and Proof Theory\u201d","first-page":"101","article-title":"A theory of constructions equivalent to arithmetic","author":"Goodman","year":"1970"},{"key":"10.1016\/S1571-0661(04)00100-8_NEWBIB8","first-page":"42","article-title":"Die formalin Regeln der intuitionistischen Logik, Sitzungsberichte der Preussischen Adademie von Wissenschaften","author":"Heyting","year":"1930","journal-title":"Physikalisch-mathematische Klasse"},{"key":"10.1016\/S1571-0661(04)00100-8_NEWBIB9","series-title":"\u201cHandbook of Proof Theory\u201d","article-title":"Logic of Provability","author":"de Jongh","year":"1998"},{"key":"10.1016\/S1571-0661(04)00100-8_NEWBIB10","doi-asserted-by":"crossref","first-page":"109","DOI":"10.2307\/2269016","article-title":"On the interpretation of intuitionistic number theory","volume":"v. 10","author":"Kleene","year":"1945","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1571-0661(04)00100-8_NEWBIB11","first-page":"58","article-title":"\u201cZur Deutung der intuitionistischen Logik\u201d","volume":"35","author":"Kolmogoroff","year":"1932","journal-title":"Math. Ztshr Bd. S."},{"key":"10.1016\/S1571-0661(04)00100-8_NEWBIB12","unstructured":"A. Kolmogorov, About my papers on intuitionistic logic, In: \u201cA.N. Kolmogorov, Selected works\u201d, p. 393, 1985 (Russian), p. 451\u2013452 (English)"},{"key":"10.1016\/S1571-0661(04)00100-8_NEWBIB13","series-title":"\u201cHandbook of Theoretical Computer Science. Volume B, Formal Models and Semantics\u201d","first-page":"789","article-title":"Logic of Programs","author":"Kozen","year":"1990"},{"key":"10.1016\/S1571-0661(04)00100-8_NEWBIB14","unstructured":"G. Kreisel, Foundations of intuitionistic logic, in E. Nagel, P. Suppes and A. Tarski, eds., Logic, Methodology and Philosophy of Science, Proceedings of the 1960 International Congress, Stanford University Press, Standford, pp. 198\u2013210, 1962."},{"key":"10.1016\/S1571-0661(04)00100-8_NEWBIB15","series-title":"\u201cLectures in Modern Mathematics III\u201d","first-page":"95","article-title":"Mathematical Logic","author":"Kreisel","year":"1965"},{"key":"10.1016\/S1571-0661(04)00100-8_NEWBIB16","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2268135","article-title":"Some theorems about the sentential calculi of Lewis and Heyting","volume":"v. 13","author":"McKinsey","year":"1948","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1571-0661(04)00100-8_NEWBIB17","series-title":"\u201cKurt G\u00f6del Collected Works. Volume III\u201d","first-page":"62","article-title":"Introductory note to \u22171938a","author":"Parsons","year":"1995"},{"key":"10.1016\/S1571-0661(04)00100-8_NEWBIB18","article-title":"On a modal lambda-calculus for S4","volume":"v.1","author":"Pfenning","year":"1995","journal-title":"\u201cElectronic Notes in Computer Science\u201d"},{"key":"10.1016\/S1571-0661(04)00100-8_NEWBIB19","volume":"v. 1","author":"Troelstra","year":"1988"},{"key":"10.1016\/S1571-0661(04)00100-8_NEWBIB20","series-title":"\u201cBasic Proof Theory,\u201d","author":"Troelstra","year":"1966"},{"key":"10.1016\/S1571-0661(04)00100-8_NEWBIB21","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1007\/BF01387763","article-title":"A semantical proof of De Jongh's theorem","author":"van Osten","year":"1991","journal-title":"Archive for Mathematical Logic"},{"key":"10.1016\/S1571-0661(04)00100-8_NEWBIB22","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1007\/BF00247190","article-title":"The intended interpretation of intuitionistic logic","volume":"12","author":"Weinstein","year":"1983","journal-title":"Journal of Philosophical Logic"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104001008?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104001008?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,3,30]],"date-time":"2020-03-30T12:31:14Z","timestamp":1585571474000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104001008"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"references-count":22,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1999]]}},"alternative-id":["S1571066104001008"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)00100-8","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[1999]]}}}