Switch to: References

Add citations

You must login to add citations.
  1. Ordered sets R and Q as bases of Kripke models.Mitio Takano - 1987 - Studia Logica 46 (2):137 - 148.
    Those formulas which are valid in every Kripke model having constant domain whose base is the ordered set R of real numbers (or, the ordered set Q of rational numbers) are characterized syntactically.
    Download  
     
    Export citation  
     
    Bookmark   7 citations