普莱尔是时态逻辑的创始人,他最重要的成就是创立和发展了时态逻辑系统。他运用时态逻辑阐明了对未来偶然命题真值问题的观点,并且对自由选择和非决定论进行了强有力的辩护。普莱尔创立了六个完整的时态逻辑系统。系统与系统之间可以从时间间隔变量的取值和对必然算子的定义进行分类。其中,奥卡姆主义系统是基于分支时间模型的时态模态逻辑系统,与其余五个系统最大的区别是将过去和未来之间的不对称性纳入符号逻辑系统中。这种不对称性是处理未来偶然性问题的关键。对于未来偶然性问题,普莱尔通过定义时态算子,将时态与模态联系在一起,把含有时态词的命题形式化,从不同的角度对时态模态系统语义进行赋值。普莱尔通过对第奥多鲁主论证的重构和卢卡西维茨三值逻辑的批判性继承,分析得出两种未来偶然性问题的处理方案:奥卡姆主义处理方案和皮尔士主义处理方案。其中,奥卡姆主义处理方案是由奥卡姆主义系统衍生出来的,拒绝过去时态命题所蕴涵的必然性,强调区分与未来偶然命题等值的过去时态命题。而皮尔士主义处理方案则是由奥卡姆主义系统的片段——皮尔士主义系统推出的,核心在于拒绝接受未来排中律,认为未来偶然命题在当下没有真值,对尚未存在的未来,赋予多种可能性。普莱尔基于时态逻辑对未来偶然性问题的研究,可以为自然语言中时态句的真值问题研究提供强有力的逻辑方法和理论基础。