Access

You are not currently logged in.

Access your personal account or get JSTOR access through your library or other institution:

login

Log in to your personal account or through your institution.

If you need an accessible version of this item please contact JSTOR User Support

Finite Kripke Models and Predicate Logics of Provability

Sergei Artemov and Giorgie Dzhaparidze
The Journal of Symbolic Logic
Vol. 55, No. 3 (Sep., 1990), pp. 1090-1098
DOI: 10.2307/2274475
Stable URL: http://www.jstor.org/stable/2274475
Page Count: 9
  • Read Online (Free)
  • Download ($10.00)
  • Cite this Item
If you need an accessible version of this item please contact JSTOR User Support
Finite Kripke Models and Predicate Logics of Provability
Preview not available

Abstract

The paper proves a predicate version of Solovay's well-known theorem on provability interpretations of modal logic: If a closed modal predicate-logical formula R is not valid in some finite Kripke model, then there exists an arithmetical interpretation f such that $PA \nvdash fR$. This result implies the arithmetical completeness of arithmetically correct modal predicate logics with the finite model property (including the one-variable fragments of QGL and QS). The proof was obtained by adding "the predicate part" as a specific addition to the standard Solovay construction.

Page Thumbnails

  • Thumbnail: Page 
1090
    1090
  • Thumbnail: Page 
1091
    1091
  • Thumbnail: Page 
1092
    1092
  • Thumbnail: Page 
1093
    1093
  • Thumbnail: Page 
1094
    1094
  • Thumbnail: Page 
1095
    1095
  • Thumbnail: Page 
1096
    1096
  • Thumbnail: Page 
1097
    1097
  • Thumbnail: Page 
1098
    1098