Provability logics for relative interpretability
| Abstract | In this paper the system IL for relative interpretability described in Visser (1988) is studied.1 In IL formulae A|> B (read: A interprets B) are added to the provability logic L. The intended interpretation of a formula A| | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,653 |
| External links |
  Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesLev D. Beklemishev (1996). Bimodal Logics for Extensions of Arithmetical Theories. Journal of Symbolic Logic 61 (1):91-124.
Albert Visser (1991). The Formalization of Interpretability. Studia Logica 50 (1):81 - 105.
Petr Hájek & Vítězslav Švejdar (1991). A Note on the Normal Form of Closed Formulas of Interpretability Logic. Studia Logica 50 (1):25 - 28.
Konstantin N. Ignatiev (1993). On Strong Provability Predicates and the Associated Modal Logics. Journal of Symbolic Logic 58 (1):249-290.
Franco Montagna (1987). Provability in Finite Subtheories of Pa and Relative Interpretability: A Modal Investigation. Journal of Symbolic Logic 52 (2):494-511.
Alessandro Berarducci (1990). The Interpretability Logic of Peano Arithmetic. Journal of Symbolic Logic 55 (3):1059-1089.
Maarten Rijke (1991). A Note on the Interpretability Logic of Finitely Axiomatized Theories. Studia Logica 50 (2):241 - 250.
Katsumi Sasaki (2002). A Cut-Free Sequent System for the Smallest Interpretability Logic. Studia Logica 70 (3):353-372.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads5 ( #160,204 of 548,984 )Recent downloads (6 months)1 ( #63,327 of 548,984 )How can I increase my downloads? |
My notes
Discussion
