Switch to: References

Citations of:

Calibrating Provability Logic: From Modal Logic to Reflection Calculus

In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 89-94 (1998)

Add citations

You must login to add citations.
  1. A many-sorted variant of Japaridze’s polymodal provability logic.Gerald Berger, Lev D. Beklemishev & Hans Tompits - 2018 - Logic Journal of the IGPL 26 (5):505-538.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark