Advertisement

Keywords

Equivalence Relation Modal Logic Atomic Formula Approximation Space Predicate Symbol 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    Cresswell, M.J. and Hughes, G.E. (1968). An introduction to modal logic. London: Methuen and Co Ltd.Google Scholar
  2. [2]
    Gabbay, D.M. (1976). Investigations in modal and tense logics with applications to problems in philosophy and linguistics. Reidel Synthese Library, 92.Google Scholar
  3. [3]
    Orłowska, E. and Pawlak, Z. (1984). Expressive power of knowledge representation systems. International Journal of Man-Machine Studies 20, 485–500.Google Scholar
  4. [4]
    Pawlak, Z. (1982). Rough sets. International Journal of Computer and Information Sciences, 11(5), 341–356.Google Scholar
  5. [5]
    Rasiowa, H. and Sikorski, R. (1970). Mathematics of metamathematics. Warsaw: PWN.Google Scholar
  6. [6]
    Rasiowa, H. and Skowron, A. (1984). Rough concepts logic. Lectures Notes in Computer Science (to appear).Google Scholar
  7. [7]
    Rasiowa, H. and Skowron, A. (1985). Approximate reasoning (in preparation).Google Scholar
  8. [8]
    Scott, D. Domains for denotational semantics. A corrected and expanded version of a paper prepared for ICALP82, Aarhus, Denmark, July 1982.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  • Helena Rasiowa
    • 1
  • Andrzej Skowron
    • 1
  1. 1.Institute of MathematicsUniversity of WarsawWarsaw

Personalised recommendations