Switch to: Citations

Add references

You must login to add references.
  1. (2 other versions)Review of Robert M. Solovay's Provability Interpretations of Modal Logic.George Boolos - 1981 - Journal of Symbolic Logic 46 (3):661-662.
    Download  
     
    Export citation  
     
    Bookmark   36 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