Skip to main content
Log in

Priorean Strict Implication, Q and Related Systems

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

We introduce a system PSI for a strict implication operator called Priorean strict implication. The semantics for PSI is based on partial Kripke models without accessibility relations. PSI is proved sound and complete with respect to that semantics, and Prior's system Q and related systems are shown to be fragments of PSI or of a mild extension of it.

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

Access this article

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

  • Bull, R. A., ‘An axiomatization of Prior's modal calculus Q’, Notre Dame Journal of Formal Logic 5:211-214, 1964.

    Google Scholar 

  • Correia, F. ‘Adequacy results for some Priorean modal propositional logics’, Notre Dame Journal of Formal Logic 40:236-249, 1999.

    Google Scholar 

  • Jaspars, J., and E. Thijsse, ‘Fundamentals of partial modal logic’, in P. Doherty, editor, Partiality, Modality, and Nonmonotonicity, CSLI, Stanford, 111-140, 1996.

    Google Scholar 

  • Prior, A. N., Time and Modality, Oxford University Press, 1957.

  • Prior, A. N., ‘Notes on a group of new modal systems’, Logique et Analyse 2(6–7): 122-127, 1959.

    Google Scholar 

  • Prior, A. N., and K. Fine, Worlds, Times and Selves, Amherst: University of Massachusetts Press, 1977.

    Google Scholar 

  • Thijsse, E., ‘Partial propositional and modal logic: the overall theory’, in M. Stockhof and L. Torenvliet, editors, Proceedings of the Seventh Amsterdam Colloquium, Part 2, ITLI, Amsterdam, 555-579, 1990.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Correia, F. Priorean Strict Implication, Q and Related Systems. Studia Logica 69, 411–427 (2001). https://doi.org/10.1023/A:1013844211100

Download citation

  • Issue Date:

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

Navigation