On A.N. Prior’s Logical System Q

Abstract

Through his philosophical and logical analysis in Time and Modality in 1957, Arthur Norman Prior proposed the logical system Q. In this paper, I logically characterise Q and, subsequently, study Q’s deficiencies. I also review other works which have been carried out based on Q in recent decades.