Advanced search
1 file | 591.68 KB Add to list

The omega-rule interpretation of transfinite provability logic

(2017) ANNALS OF PURE AND APPLIED LOGIC. 169(4). p.333-371
Author
Organization
Keywords
Provability logic, Arithmetic interpretation, Iterated provability, COMPLETENESS, GLP, REFLECTION, INDUCTION, PROOF

Downloads

  • OmegaRule.pdf
    • full text
    • |
    • open access
    • |
    • PDF
    • |
    • 591.68 KB

Citation

Please use this url to cite or link to this publication:

MLA
Fernández-Duque, David, and Joost J Joosten. “The Omega-rule Interpretation of Transfinite Provability Logic.” ANNALS OF PURE AND APPLIED LOGIC 169.4 (2017): 333–371. Print.
APA
Fernández-Duque, D., & Joosten, J. J. (2017). The omega-rule interpretation of transfinite provability logic. ANNALS OF PURE AND APPLIED LOGIC, 169(4), 333–371.
Chicago author-date
Fernández-Duque, David, and Joost J Joosten. 2017. “The Omega-rule Interpretation of Transfinite Provability Logic.” Annals of Pure and Applied Logic 169 (4): 333–371.
Chicago author-date (all authors)
Fernández-Duque, David, and Joost J Joosten. 2017. “The Omega-rule Interpretation of Transfinite Provability Logic.” Annals of Pure and Applied Logic 169 (4): 333–371.
Vancouver
1.
Fernández-Duque D, Joosten JJ. The omega-rule interpretation of transfinite provability logic. ANNALS OF PURE AND APPLIED LOGIC. 2017;169(4):333–71.
IEEE
[1]
D. Fernández-Duque and J. J. Joosten, “The omega-rule interpretation of transfinite provability logic,” ANNALS OF PURE AND APPLIED LOGIC, vol. 169, no. 4, pp. 333–371, 2017.
@article{8566402,
  author       = {Fernández-Duque, David and Joosten, Joost J},
  issn         = {0168-0072},
  journal      = {ANNALS OF PURE AND APPLIED LOGIC},
  keywords     = {Provability logic,Arithmetic interpretation,Iterated provability,COMPLETENESS,GLP,REFLECTION,INDUCTION,PROOF},
  language     = {eng},
  number       = {4},
  pages        = {333--371},
  title        = {The omega-rule interpretation of transfinite provability logic},
  url          = {http://dx.doi.org/10.1016/j.apal.2017.12.006},
  volume       = {169},
  year         = {2017},
}

Altmetric
View in Altmetric
Web of Science
Times cited: