Axiomatising first-order temporal logic: Until and since over linear time |
| |
Authors: | Mark Reynolds |
| |
Institution: | (1) Department of Computer Science, King's College London, WC2R 2LS London |
| |
Abstract: | We present an axiomatisation for the first-order temporal logic with connectives Until and Since over the class of all linear flows of time. Completeness of the axiom system is proved.We also add a few axioms to find a sound and complete axiomatisation for the first order temporal logic of Until and Since over rational numbers time.The author would like to thank Dov Gabbay and Ian Hodkinson for helpful discussions on this material. The work was supported by the U.K. Science and Engineering Research Council under the Metatem project (GR/F/28526).Presented by Dov Gabbay |
| |
Keywords: | temporal logic axiomatization first-order temporal/modal logics |
本文献已被 SpringerLink 等数据库收录! |