The Tense Logic for Master Argument in Prior’s Reconstruction

@article{Jarmuzek2009TheTL,
  title={The Tense Logic for Master Argument in Prior’s Reconstruction},
  author={Tomasz Jarmuzek and A. Pietruszczak},
  journal={Studia Logica},
  year={2009},
  volume={92},
  pages={85-108}
}
In this paper we examine Prior’s reconstruction of Master Argument [4] in some modal-tense logic. This logic consists of a purely tense part and Diodorean definitions of modal alethic operators. Next we study this tense logic in the pure tense language. It is the logic Kt4 plus a new axiom (P): ‘p Λ Gp ⊃ P Gp’. This formula was used by Prior in his original analysis of Master Argument. (P) is usually added as an extra axiom to an axiomatization of the logic of linear time. In that case the set… Expand

References

SHOWING 1-6 OF 6 REFERENCES
The master argument and branching time
Basic Tense Logic
Time And Modality