View of Prior’s System Q and its Extensions | Logic and Philosophy of Time