Switch to: References

Citations of:

On models with variable universe

Studia Logica 34 (1):11 - 23 (1975)

Add citations

You must login to add citations.
  1. Partial isomorphisms and intuitionistic logic.Bernd I. Dahn - 1981 - Studia Logica 40 (4):405 - 413.
    A game for testing the equivalence of Kripke models with respect to finitary and infinitary intuitionistic predicate logic is introduced and applied to discuss a concept of categoricity for intuitionistic theories.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  • A note on generalized Kripke-models.Bernd Dahn - 1974 - Bulletin of the Section of Logic 3 (1):8-10.
    Direct download  
     
    Export citation  
     
    Bookmark  
    		•