×

A liberated version of S5. (English) Zbl 0193.29202


Keywords:

general logic
PDFBibTeX XMLCite
Full Text: DOI EuDML

References:

[1] Kripke, S., A completeness theorem in modal logic. The Journal of Symbolc Logic24 (1969), 1–14. · Zbl 0091.00902 · doi:10.2307/2964568
[2] Feys, R., Modal Logics, ed. by J. Dopp, Louvain, 1965. · Zbl 0128.01203
[3] Leblanc, H., and R. K. Meyer, Open formulas and the empty domain. Archiv für Mathematische Logik und Grundlagenforschung,12 (1969), 78–84. · Zbl 0181.29801 · doi:10.1007/BF01982052
[4] Łukasiewicz, J., Aristotle’s Syllogistic, 2nd ed., Oxford, 1957. · Zbl 0043.24601
[5] Massey, G. J., The theory of truth tabular connectives, both truth functional and modal. The Journal of Symbolic Logic31 (1966), 593–608. · Zbl 0168.00403 · doi:10.2307/2269695
[6] Meyer, R. K., and K. Lambert, Universally free logic and standard quantification theory. The Journal of Symbolic Logic,33 (1968). · Zbl 0175.26103
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.