Switch to: Citations

Add references

You must login to add references.
  1. Robert M. Solovay. Provability interpretations of modal logic. Israel journal of mathematics, vol. 25 , pp. 287–304.George Boolos - 1981 - Journal of Symbolic Logic 46 (3):661-662.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Hennessy–Milner theorem for interpretability logic.Mladen Vukovic - 2005 - Bulletin of the Section of Logic 34 (4):195-201.
    Download  
     
    Export citation  
     
    Bookmark   2 citations