Skip to main content
SpringerLink
Log in

Canonicity for Intensional Logics Without Iterative Axioms

  • Published:
Journal of Philosophical Logic Aims and scope Submit manuscript

Abstract

David Lewis proved in 1974 that all logics without iterative axioms are weakly complete. In this paper we extend Lewis’s ideas and provide a proof that such logics are canonical and so strongly complete. This paper also discusses the differences between relational and neighborhood frame semantics and poses a number of open questions about the latter.

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

Similar content being viewed by others

REFERENCES

  1. van Benthem, Johan (1983): Modal Logic and Classical Logic, Bibliopolis, Naples.

    Google Scholar 

  2. Benton, Roy A. (1975): Strong modal completeness with respect to neighborhood semantics. Unpublished manuscript, Department of Philosophy, The University of Michigan.

  3. Chellas, Brian F. (1980): Modal Logic, An Introduction, Cambridge University Press, Cambridge.

    Google Scholar 

  4. Chellas, Brian F. and Segerberg, Krister (1995): Modal logics in the vicinity of S1, Notre Dame Journal of Formal Logic 37: 1–24.

    Google Scholar 

  5. Došen, Kosta (1989): Duality between modal algebras and neighbourhood frames, Studia Logica 48(2): 219–234.

    Google Scholar 

  6. Fine, Kit (1975): Some connections between elementary and modal logic. In Stig Kanger (ed.), Proceedings of the Third Scandinavian Logic Symposium, North-Holland, pp. 15–31.

  7. Gabbay, Dov M. (1975): A normal logic that is complete for neighborhood frames but not for Kripke frames, Theoria 41(3): 148–153.

    Google Scholar 

  8. Gerson, Martin (1976): A neighborhood frame for T with no equivalent relational frame, Zeitschrift für mathematische Logik und Grundlagen der Mathematik, 22: 29–34.

    Google Scholar 

  9. Gerson, Martin (1975): The inadequacy of neighborhood semantics for modal logic, The Journal of Symbolic Logic 40: 141–148.

    Google Scholar 

  10. Gerson, Martin (1975): An extension of S4 complete for the neighborhood semantics but incomplete for the relational semantics, Studia Logica 36(4): 333–342.

    Google Scholar 

  11. Goldblatt, Robert (1993): The Mathematics of Modality, CSLI Lecture Notes, Stanford, California.

  12. Goldblatt, Robert (1991): The McKinsey axiom is not canonical, The Journal Symbolic Logic 56(2): 554–562.

    Google Scholar 

  13. Lewis, David (1974): Intensional logics without iterative axioms, Journal of Philosophical Logic 3: 457–466.

    Google Scholar 

  14. Pelletier, Francis Jeffry (1984): The not-so-strange modal logic of indeterminacy, Logique et Analyse 27: 415–422.

    Google Scholar 

  15. Segerberg, Krister (1971): An Essay in Classical Modal Logic, vol. 13 of Filosfiska Studier, Uppsala Universitet, Uppsala.

    Google Scholar 

  16. Wang, Xiaoping (1992): The McKinsey axiom is not compact, The Journal of Symbolic Logic 57(4): 1230–1238.

    Google Scholar 

  17. Wolter, Frank (October 1995): Personal communication, referring to a result independently discovered by Goldblatt and Wolter.

Download references

Author information

Authors and Affiliations

  1. Automated Reasoning Project, The Australian National University, Canberra, ACT, 0200, Australia

    Timothy J. Surendonk

Authors
  1. Timothy J. Surendonk
    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

Surendonk, T.J. Canonicity for Intensional Logics Without Iterative Axioms. Journal of Philosophical Logic 26, 391–409 (1997). https://doi.org/10.1023/A:1004201429142

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1004201429142

Keywords

Search

Navigation