Epstein RL, Buitrago-Díaz E. A propositional logic of temporal connectives. LLP [Internet]. 2014 Sep. 6 [cited 2024 Aug. 16];24(2):155–200. Available from: https://apcz.umk.pl/LLP/article/view/LLP.2014.020