5 citations to 10.1007/BF01375554 (Crossref Cited-By Service)

1. E. Goris, J. J. Joosten, “Self provers and  1 sentences”, Logic Journal of IGPL, 20, № 1, 2012, 1  
2. Albert Visser, “A course on bimodal provability logic”, Annals of Pure and Applied Logic, 73, № 1, 1995, 109  
3. Giorgi Japaridze, Dick de Jongh, 137, Handbook of Proof Theory, 1998, 475  
4. E. Goris, J. J. Joosten, “Modal Matters for Interpretability Logics”, Logic Journal of IGPL, 16, № 4, 2008, 371  
5. E. Goris, J. J. Joosten, “A new principle in the interpretability logic of all reasonable arithmetical theories”, Logic Journal of IGPL, 19, № 1, 2011, 1