{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:20Z","timestamp":1761611180318},"reference-count":36,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":6585,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1996,3]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We characterize the bimodal provability logics for certain natural (classes of) pairs of recursively enumerable theories, mostly related to fragments of arithmetic. For example, we shall give axiomatizations, decision procedures, and introduce natural Kripke semantics for the provability logics of (<jats:italic>I<\/jats:italic>\u0394<jats:sub>0<\/jats:sub> + <jats:italic>EXP<\/jats:italic>, <jats:italic>PRA<\/jats:italic>); (<jats:italic>PRA<\/jats:italic>, <jats:italic>I<\/jats:italic>\u03a3<jats:sub><jats:italic>n<\/jats:italic><\/jats:sub>); (<jats:italic>I<\/jats:italic>\u03a3<jats:sub><jats:italic>m<\/jats:italic><\/jats:sub>, <jats:italic>I<\/jats:italic>\u03a3<jats:sub><jats:italic>n<\/jats:italic><\/jats:sub>) for 1 \u2264 <jats:italic>m<\/jats:italic> &lt; <jats:italic>n<\/jats:italic>; (<jats:italic>PA, ACA<\/jats:italic><jats:sub>0<\/jats:sub>); (<jats:italic>ZFC, ZFC<\/jats:italic> + <jats:italic>CH<\/jats:italic>); (<jats:italic>ZFC, ZFC<\/jats:italic> + \u00ac<jats:italic>CH<\/jats:italic>) etc. For the case of finitely axiomatized extensions of theories these results are extended to modal logics with propositional constants.<\/jats:p>","DOI":"10.2307\/2275600","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T22:57:36Z","timestamp":1146956256000},"page":"91-124","source":"Crossref","is-referenced-by-count":9,"title":["Bimodal logics for extensions of arithmetical theories"],"prefix":"10.1017","volume":"61","author":[{"given":"Lev D.","family":"Beklemishev","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200017667_ref024","first-page":"335","volume-title":"Logic colloquium '78","author":"Schmerl","year":"1979"},{"key":"S0022481200017667_ref034","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-0609-2_13"},{"key":"S0022481200017667_ref016","unstructured":"Ignjatovic A. D. , Fragments of first and second order arithmetic and length of proof, Ph.D. thesis , University of California at Berkeley, 1990."},{"key":"S0022481200017667_ref036","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(87)90066-2"},{"key":"S0022481200017667_ref032","first-page":"33","article-title":"Provability interpretations of modal logic","volume":"28","author":"Solovay","year":"1976","journal-title":"Israel Journal of Mathematics"},{"key":"S0022481200017667_ref022","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19680140106"},{"key":"S0022481200017667_ref006","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(93)90199-N"},{"key":"S0022481200017667_ref035","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/0168-0072(93)E0079-4","article-title":"A course in bimodal provability logic","volume":"73","author":"Petkov","year":"1995","journal-title":"Annals of Pure and Applied Logic"},{"key":"S0022481200017667_ref031","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-8601-8"},{"key":"S0022481200017667_ref030","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(08)71123-6"},{"key":"S0022481200017667_ref001","first-page":"115","article-title":"Arithmetically complete modal theories","volume":"14","author":"Artemov","year":"1980","journal-title":"Semiotika i Informatika"},{"key":"S0022481200017667_ref003","doi-asserted-by":"publisher","DOI":"10.1007\/BF00370390"},{"key":"S0022481200017667_ref004","first-page":"22","article-title":"Independent numerations of theories and recursive progressions","volume":"33","author":"Beklemishev","year":"1992","journal-title":"Sibirskii Matematicheskii Zhurnal"},{"key":"S0022481200017667_ref010","unstructured":"Dzhaparidze G. K. , The modal logical means of investigation of provability, Ph.D. thesis , Moscow State University, 1986."},{"key":"S0022481200017667_ref005","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(94)90071-X"},{"key":"S0022481200017667_ref008","volume-title":"The logic of provability","author":"Boolos","year":"1993"},{"key":"S0022481200017667_ref009","doi-asserted-by":"publisher","DOI":"10.1007\/BF02764872"},{"key":"S0022481200017667_ref011","doi-asserted-by":"publisher","DOI":"10.4064\/fm-49-1-35-92"},{"key":"S0022481200017667_ref012","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1979-0539907-7"},{"key":"S0022481200017667_ref013","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(79)90017-2"},{"key":"S0022481200017667_ref014","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-22156-3"},{"key":"S0022481200017667_ref015","first-page":"249","volume":"58","author":"Ignatiev","year":"1993","journal-title":"On strong provability predicates and the associated modal logics"},{"key":"S0022481200017667_ref017","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19680140702"},{"key":"S0022481200017667_ref018","first-page":"182","volume":"48","author":"Leivant","year":"1983","journal-title":"The optimality of induction as an axiomatization of arithmetic"},{"key":"S0022481200017667_ref019","doi-asserted-by":"publisher","DOI":"10.2307\/2045318"},{"key":"S0022481200017667_ref021","first-page":"459","volume-title":"Intuitionism and proof theory","author":"Parsons","year":"1970"},{"key":"S0022481200017667_ref023","volume-title":"Subrecursion: Functions and hierarchies","author":"Rose","year":"1984"},{"key":"S0022481200017667_ref025","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(08)71124-8"},{"key":"S0022481200017667_ref002","first-page":"915","article-title":"On the classification of propositional provability logics","volume":"53","author":"Beklemishev","year":"1989","journal-title":"Izvestiya Akademii Nauk SSSR, ser. mat."},{"key":"S0022481200017667_ref020","first-page":"494","volume":"52","author":"Montagna","year":"1987","journal-title":"Provability in finite subtheories of PA"},{"key":"S0022481200017667_ref026","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19910371906"},{"key":"S0022481200017667_ref027","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1094061859"},{"key":"S0022481200017667_ref028","volume-title":"Mathematical logic","author":"Shoenfield","year":"1967"},{"key":"S0022481200017667_ref029","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(85)90030-2"},{"key":"S0022481200017667_ref033","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093635077"},{"key":"S0022481200017667_ref007","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(93)90200-W"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200017667","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T19:07:05Z","timestamp":1557774425000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200017667\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,3]]},"references-count":36,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1996,3]]}},"alternative-id":["S0022481200017667"],"URL":"https:\/\/doi.org\/10.2307\/2275600","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,3]]}}}