Order:
  1.  10
    A note on some extension results.Franco Montagna & Giovanni Sommaruga - 1990 - Studia Logica 49 (4):591 - 600.
    In this note, a fully modal proof is given of some conservation results proved in a previous paper by arithmetic means. The proof is based on the extendability of Kripke models.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  2.  11
    Rosser and mostowski sentences.Franco Montagna & Giovanni Sommaruga - 1988 - Archive for Mathematical Logic 27 (2):115-133.