Priorean Strict Implication, Q and Related Systems
Cite this article as: Correia, F. Studia Logica (2001) 69: 411. doi:10.1023/A:1013844211100 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. strict implication system Q partial Kripke models References
Bull, R. A., ‘An axiomatization of Prior's modal calculus Q’, Notre Dame Journal of Formal Logic 5:211-214, 1964.
Correia, F. ‘Adequacy results for some Priorean modal propositional logics’, Notre Dame Journal of Formal Logic 40:236-249, 1999.
Jaspars, J., and E. Thijsse, ‘Fundamentals of partial modal logic’, in P. Doherty, editor, Partiality, Modality, and Nonmonotonicity, CSLI, Stanford, 111-140, 1996.
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.
Prior, A. N., and K. Fine, Worlds, Times and Selves, Amherst: University of Massachusetts Press, 1977.
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. Copyright information
© Kluwer Academic Publishers 2001