Ordered sets R and Q as bases of Kripke models

Studia Logica 46 (2):137 - 148 (1987)
  Copy   BIBTEX

Abstract

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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 98,316

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2009-01-28

Downloads
33 (#555,326)

6 months
6 (#740,620)

Historical graph of downloads
How can I increase my downloads?