Hostname: page-component-76fb5796d-22dnz Total loading time: 0 Render date: 2024-04-25T13:53:54.853Z Has data issue: false hasContentIssue false
  • English
  • Français

Liberated Brouwerian Modal Logic*

Published online by Cambridge University Press:  09 June 2010

Charles G. Morgan
Charles G. Morgan
Affiliation:
University of Alberta
Get access Rights & Permissions [Opens in a new window]

Extract

In an attempt to “purify” logic of existential presuppositions, attention has recently focused on modal logics, where one usually assumes that at least one possible world exists. Systems very analogous to some of the standard modal systems have been developed which drop this presupposition. We will here treat the removal of the existential assumption from Brouwerian modal logic and discuss the relationship of the system so derived to other modal systems.

Type
Articles
Information
Dialogue: Canadian Philosophical Review / Revue canadienne de philosophie , Volume 13 , Issue 3 , September 1974 , pp. 505 - 514
Copyright
Copyright © Canadian Philosophical Association 1974

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Hughes, G. E., and Cresswell, M. J.An Introduction to Modal Logic. Methuen, London. 1968.Google Scholar
[2]Lambert, K., Leblanc, H., and Meyer, R. “A Liberated Version of S5,” Archiv für mathematische Logik und Grundlagenforschung, vol. 12 (1969), pp. 151–154.Google Scholar
[3]Morgan, C. G. “Liberated Versions of T, S4, and S5,” Archiv für mathematische Logik und Grundlagenforschung, forthcoming.Google Scholar
[4]Morgan, C. G. “Weak Liberated Versions of T and S4,” Journal of Symbolic Logic, forthcoming.Google Scholar