Skip to main content
SpringerLink
Log in

A symmetric approach to axiomatizing quantifiers and modalities

  • Published:
Synthese Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Bibliography

  1. Fitting, M.: 1973, ‘Model Existence Theorems for Modal and Intuitionistic Logics’, Journal of Symbolic Logic 38 613–627.

    Google Scholar 

  2. Kripke, S.: 1963, ‘Semantical Analysis of Modal Logic I, Normal Propositional Calculi’, Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9, 67–96.

    Google Scholar 

  3. Kripke, S.: 1965, ‘Semantical Analysis of Modal Logic II, Non-normal Modal Propositional Calculi’, The Theory of Models, J. W. Addison, L. Henkin and A. Tarski (eds.), North-Holland Publishing Co., Amsterdam, pp. 206–220.

    Google Scholar 

  4. Lemmon, E.: 1957, ‘New Foundations for Lewis Modal Systems’, Journal of Symbolic Logic 22 176–186.

    Google Scholar 

  5. Segerberg, K.: 1971, An Essay in Classical Modal Logic, Uppsala.

  6. Smullyan, R.: 1963, “A Unifying Principle in Quantification Theory”, Proceedings of the National Academy of Sciences.

  7. Smullyan, R.: 1968, First Order Logic, Springer-Verlag, Berlin.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. of Mathematics, Lehman College, 10468, Bronx, NY, USA

    Melvin Fitting

Authors
  1. Melvin Fitting
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Fitting, M. A symmetric approach to axiomatizing quantifiers and modalities. Synthese 60, 5–19 (1984). https://doi.org/10.1007/BF00485615

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00485615

Keywords

Search

Navigation