@article{Epstein_2014, title={Reflections on temporal and modal logic}, volume={24}, url={https://apcz.umk.pl/LLP/article/view/LLP.2014.015}, DOI={10.12775/LLP.2014.015}, abstractNote={The most popular method of incorporating time into a formal logic is based on the work of Arthur Prior. It treats tenses as operators on sentences. In this essay I show a serious problem with that approach, a confusion of scheme versus proposition, which makes any system built in that way incoherent. I will compare how other formal logics deal with the scheme versus proposition distinction and find that only for formal modal logics does the same problem arise. I then compare Prior’s approach to other ways of taking time into account in formal logics.}, number={1}, journal={Logic and Logical Philosophy}, author={Epstein, Richard L.}, year={2014}, month={Aug.}, pages={111–139} }