Studia Logica

, Volume 69, Issue 3, pp 411–427

Priorean Strict Implication, Q and Related Systems

  • Fabrice Correia

DOI: 10.1023/A:1013844211100

Cite this article as:
Correia, F. Studia Logica (2001) 69: 411. doi:10.1023/A:1013844211100


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 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Kluwer Academic Publishers 2001

Authors and Affiliations

  • Fabrice Correia
    • 1
  1. 1.University of GenevaSwitzerland

Personalised recommendations