Hostname: page-component-586b7cd67f-tf8b9 Total loading time: 0 Render date: 2024-11-24T21:34:57.040Z Has data issue: false hasContentIssue false
  • English
  • Français

Reduction to first degree in quantificational S5

Published online by Cambridge University Press:  12 March 2014

Michael J. Carroll
Michael J. Carroll*
Affiliation:
505 Cypress Point Drive #21, Mountain View, CA 94043
Get access Rights & Permissions [Opens in a new window]

Abstract

It is shown that the modally first-degree formulas of quantificational S5 constitute a reduction class.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 44 , Issue 2 , June 1979 , pp. 207 - 214
Copyright
Copyright © Association for Symbolic Logic 1979

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]Church, Alonzo, Introduction to mathematical logic, Princeton University Press, Princeton, NJ, 1956.Google Scholar
[2]Hintikka, Jaakko, Distributive normal forms in first-order logic, Formal systems and recursive functions (Crossley, J.N. and Dummett, M.A.E., Editors), North-Holland, Amsterdam, 1965.Google Scholar
[3]Hughes, G. E. and Cresswell, M. J., An introduction to modal logic, Methuen, London, 1968.Google Scholar
[4]Fine, Kit, Model theory for modal logic, Part I. The de re ∣ de dicto distinction, Journal of Philosophical Logic, vol. 7 (1978).Google Scholar