Theorem-Proving for Discrete Temporal Logic


This chapter considers theorem proving for discrete temporal logics. We are interested in deciding or at least enumerating the formulas of the logic which are valid, that is, are true in all circumstances. Most of the techniques for temporal theorem-proving have been extensions for methods developed for classical logics but completely novel techniques have… (More)
DOI: 10.1016/S1574-6526(05)80011-2


Cite this paper

@inproceedings{Reynolds2005TheoremProvingFD, title={Theorem-Proving for Discrete Temporal Logic}, author={Mark D Reynolds and Clare Dixon}, booktitle={Handbook of Temporal Reasoning in Artificial Intelligence}, year={2005} }