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, no. 1, 2012, 1  
2. Albert Visser, “A course on bimodal provability logic”, Annals of Pure and Applied Logic, 73, no. 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, no. 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, no. 1, 2011, 1