9 citations to 10.2307/2275600 (Crossref Cited-By Service)

1. Thomas F. Icard, Joost J. Joosten, “Provability and Interpretability Logics with Restricted Realizations”, Notre Dame J. Formal Logic, 53, № 2, 2012  
2. Sergei N. Artemov, Lev D. Beklemishev, 13, Handbook of Philosophical Logic, 2nd Edition, 2005, 189  
3. Giorgi Japaridze, Dick de Jongh, 137, Handbook of Proof Theory, 1998, 475  
4. Sergei Artemov, 3, Handbook of Modal Logic, 2007, 927  
5. Sergei Artemov, 5, Mathematical Problems from Applied Logic II, 2007, 1  
6. LEV BEKLEMISHEV, “Notes on local reflection principles”, Theoria, 63, № 3, 1997, 139  
7. Joost J. Joosten, “The Closed Fragment of the Interpretability Logic of PRA with a Constant for $\mathrm{I}\Sigma_1$”, Notre Dame J. Formal Logic, 46, № 2, 2005  
8. Lev Beklemishev, Albert Visser, 4, Mathematical Problems from Applied Logic I, 2006, 77  
9. M. Zakharyaschev, F. Wolter, A. Chagrov, Handbook of Philosophical Logic, 2001, 83