{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,27]],"date-time":"2026-03-27T15:37:02Z","timestamp":1774625822054,"version":"3.50.1"},"reference-count":14,"publisher":"Cambridge University Press (CUP)","issue":"4","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":7041,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1994,12]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>In this paper the modal operator \u201c<jats:italic>x<\/jats:italic> is provable in Peano Arithmetic\u201d is incorporated into first-order theories. A provability extension of a theory is defined. Presburger Arithmetic of addition, Skolem Arithmetic of multiplication, and some first order theories of partial consistency statements are shown to remain decidable after natural provability extensions. It is also shown that natural provability extensions of a decidable theory may be undecidable.<\/jats:p>","DOI":"10.2307\/2275696","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T22:53:29Z","timestamp":1146956009000},"page":"1139-1153","source":"Crossref","is-referenced-by-count":6,"title":["On first-order theories with provability operator"],"prefix":"10.1017","volume":"59","author":[{"given":"Sergei","family":"Art\u00ebmov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Franco","family":"Montagna","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200019186_ref002","first-page":"270","article-title":"Nonarithmeticity of truth predicate logics of provability","volume":"284","author":"Art\u00ebmov","year":"1985","journal-title":"Doklady Akaclemii Nauk SSSR"},{"key":"S0022481200019186_ref012","first-page":"1","volume-title":"\u00dcber einige satzfunktionen in der arithmetik","author":"Skolem","year":"1931"},{"key":"S0022481200019186_ref001","first-page":"115","article-title":"Arifmeticeski polnyje modal\u2032nyje teorii","volume":"14","author":"Art\u00ebmov","year":"1980","journal-title":"Semiotika i informatika"},{"key":"S0022481200019186_ref005","volume-title":"The unprovability of consistency: an essay in modal logic","author":"Boolos","year":"1979"},{"key":"S0022481200019186_ref006","volume-title":"Computability and logic","author":"Boolos","year":"1974"},{"key":"S0022481200019186_ref007","first-page":"165","volume":"52","author":"Boolos","year":"1987","journal-title":"The degree of the set of sentences of predicate provability logic that are true under every interpretation"},{"key":"S0022481200019186_ref011","doi-asserted-by":"publisher","DOI":"10.1007\/BF00297579"},{"key":"S0022481200019186_ref004","first-page":"1090","volume":"55","author":"Art\u00ebmov","year":"1990","journal-title":"Finite Kripke models and predicate logics of probability"},{"key":"S0022481200019186_ref009","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093870577"},{"key":"S0022481200019186_ref013","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-8601-8"},{"key":"S0022481200019186_ref008","doi-asserted-by":"publisher","DOI":"10.4064\/fm-49-1-35-92"},{"key":"S0022481200019186_ref014","volume-title":"Theory of recursive functions and effective computability","author":"Rogers","year":"1967"},{"key":"S0022481200019186_ref003","doi-asserted-by":"publisher","DOI":"10.1070\/IM1986v027n03ABEH001183"},{"key":"S0022481200019186_ref010","first-page":"11","article-title":"Arithmetical complexity of predicate logics of provability and their fragments","volume":"288","author":"Vardanyan","year":"1986","journal-title":"Doklady Akademii Nauk SSSR"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200019186","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T00:41:31Z","timestamp":1557880891000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200019186\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,12]]},"references-count":14,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1994,12]]}},"alternative-id":["S0022481200019186"],"URL":"https:\/\/doi.org\/10.2307\/2275696","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,12]]}}}