Advertisement

Liberated versions ofT, S4, andS5

  • Charles G. Morgan
Article

Keywords

Mathematical Logic Liberate Version 
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]
    Hughes, G.E., Cresswell, M.J.: An Introduction to Modal Logic. Methuen, London, 1968.Google Scholar
  2. [2]
    Lambert, K., Leblanc, H., Meyer, R.: A Liberated Version ofS5. Arch. math. Logik, Vol.12 (1969), 151–154.CrossRefGoogle Scholar
  3. [3]
    Morgan, C.G.: Weak Liberated Versions ofT andS4. Journal of Symbolic Logic, Vol. 40 (1975), 25–30.Google Scholar

Copyright information

© Verlag W. Kohlhammer 1975

Authors and Affiliations

  • Charles G. Morgan
    • 1
  1. 1.EdmontonCanada

Personalised recommendations