{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T21:18:10Z","timestamp":1649193490968},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2012,10,11]],"date-time":"2012-10-11T00:00:00Z","timestamp":1349913600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Log. Univers."],"published-print":{"date-parts":[[2013,3]]},"DOI":"10.1007\/s11787-012-0070-9","type":"journal-article","created":{"date-parts":[[2012,10,10]],"date-time":"2012-10-10T16:56:55Z","timestamp":1349888215000},"page":"103-111","source":"Crossref","is-referenced-by-count":1,"title":["A Short Note on Essentially \u03a31 Sentences"],"prefix":"10.1007","volume":"7","author":[{"given":"Franco","family":"Montagna","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Duccio","family":"Pianigiani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,10,11]]},"reference":[{"key":"70_CR1","doi-asserted-by":"crossref","first-page":"1050","DOI":"10.2307\/2274474","volume":"55","author":"A. Berarducci","year":"1990","unstructured":"Berarducci A.: The interpretability logic of Peano Arithmetic. J. Symb. Logic 55, 1050\u20131089 (1990)","journal-title":"J. Symb. Logic"},{"key":"70_CR2","doi-asserted-by":"crossref","unstructured":"de Jongh, D., Japaridze, G.: The logic of provability. In: Buss, S. (ed.) Handbook of Proof Theory. Studies in Logic and the Foundations of Mathematics, vol. 137, pp. 475\u2013546.","DOI":"10.1016\/S0049-237X(98)80022-0"},{"key":"70_CR3","unstructured":"Elsevier, Amsterdam (1998)de Jongh, D., Pianigiani, D.: Solution of a problem of D. Guaspari. In: Orlowska, E. (ed.) Logic at Work: In Memory of Helena Rasiowa, pp. 246\u2013255. Springer-Physica Verlag, Heidelberg-New York (1999)"},{"key":"70_CR4","doi-asserted-by":"crossref","unstructured":"de Jongh, D., Veltan, F.: Provability logics for relative interpretability. In: Petkov, P. (eds.) Mathematical Logic, Proceedings of the Heyting 1988 Summer School in Varna, pp. 31\u201342. Plenum Press, Boston (1990)","DOI":"10.1007\/978-1-4613-0609-2_3"},{"key":"70_CR5","doi-asserted-by":"crossref","first-page":"777","DOI":"10.2307\/2273471","volume":"48","author":"D. Guaspari","year":"1983","unstructured":"Guaspari D.: Sentences implying their own provability. J. Symb. Logic 48, 777\u2013789 (1983)","journal-title":"J. Symb. Logic"},{"issue":"4","key":"70_CR6","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1093\/jigpal\/jzn013","volume":"16","author":"E. Goris","year":"2008","unstructured":"Goris E., Joosten J.J.: Modal matters for interpretability logics. Logic J. IGPL 16(4), 371\u2013412 (2008)","journal-title":"Logic J. IGPL"},{"issue":"1","key":"70_CR7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1093\/jigpal\/jzp096","volume":"20","author":"E. Goris","year":"2012","unstructured":"Goris E., Joosten J.J.: Self provers and \u03a31 sentences. Logic J. IGPL 20(1), 1\u201321 (2012)","journal-title":"Logic J. IGPL"},{"key":"70_CR8","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0003-4843(79)90017-2","volume":"16","author":"D. Guaspari","year":"1979","unstructured":"Guaspari D., Solovay R.: Rosser sentences. Ann. Math. Logic 16, 81\u201399 (1979)","journal-title":"Ann. Math. Logic"},{"key":"70_CR9","first-page":"113","volume":"30","author":"P. H\u00e1jek","year":"1990","unstructured":"H\u00e1jek P., Montagna F.: The logic of \u03a01-conservativity. Archiv f\u00fcr Mathematische Logik und Grundlagenforschung 30, 113\u2013123 (1990)","journal-title":"Archiv f\u00fcr Mathematische Logik und Grundlagenforschung"},{"key":"70_CR10","first-page":"57","volume":"32","author":"P. H\u00e1jek","year":"1992","unstructured":"H\u00e1jek P., Montagna F.: The logic of \u03a01-conservativity continued. Archiv f\u00fcr Mathematische Logik und Grundlagenforschung 32, 57\u201363 (1992)","journal-title":"Archiv f\u00fcr Mathematische Logik und Grundlagenforschung"},{"key":"70_CR11","unstructured":"Kalsbeek, M.B.: Towards the interpretability logic of I\u03940\u00a0+ Exp, Technical Report. Logic Group Preprint Series n. 61, Faculteit Wijsbegeerte van de Universiteit Utrecht (1991)"},{"key":"70_CR12","doi-asserted-by":"crossref","first-page":"359","DOI":"10.2307\/2273028","volume":"38","author":"C.F. Kent","year":"1973","unstructured":"Kent C.F.: The relation of A to $${Prov(\\lceil A\\rceil)}$$ in the Lindenbaum sentence algebra. J. Symbol. Logic 38, 359\u2013367 (1973)","journal-title":"J. Symbol. Logic"},{"key":"70_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-8601-8","volume-title":"Self-reference and modal logic","author":"C. Smorynski","year":"1985","unstructured":"Smorynski C.: Self-reference and modal logic. Springer, New York (1985)"},{"key":"70_CR14","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/BF02757006","volume":"25","author":"R. Solovay","year":"1976","unstructured":"Solovay R.: Provability interpretations of modal logic. Israel J. Math. 25, 287\u2013304 (1976)","journal-title":"Israel J. Math."},{"key":"70_CR15","doi-asserted-by":"crossref","unstructured":"Visser, A.: Interpretability logic. In: Petkov, P. (ed.) Mathematical Logic, Proceedings of the Heyting 1988, Summer School in Varna, pp. 175\u2013209. Plenum Press, Boston (1990)","DOI":"10.1007\/978-1-4613-0609-2_13"},{"key":"70_CR16","unstructured":"Visser, A.: An overview of interpretability logic. In: Kracht, M., de Rijke, M., Wansing, H. (eds.) Advanced in Modal Logic \u201996. pp. 307\u2013359. CSLI Publications, Stanford (1997)"},{"key":"70_CR17","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/0168-0072(93)E0079-4","volume":"73","author":"A. Visser","year":"1995","unstructured":"Visser A.: A course on bimodal provability logic. Ann. Pure Appl. Logic 73, 109\u2013142 (1995)","journal-title":"Ann. Pure Appl. Logic"}],"container-title":["Logica Universalis"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-012-0070-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11787-012-0070-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-012-0070-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,4]],"date-time":"2019-07-04T15:18:28Z","timestamp":1562253508000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11787-012-0070-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10,11]]},"references-count":17,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2013,3]]}},"alternative-id":["70"],"URL":"https:\/\/doi.org\/10.1007\/s11787-012-0070-9","relation":{},"ISSN":["1661-8297","1661-8300"],"issn-type":[{"value":"1661-8297","type":"print"},{"value":"1661-8300","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,10,11]]}}}