论文信息 - A Proof of Kamp's theorem - 字舞流文

A Proof of Kamp's theorem

We provide a simple proof of Kamp’s theorem.

Alexander Moshe Rabinovich

[1] Johan Anthory Willem Kamp,et al. Tense logic and the theory of linear order , 1968 .

[2] Saharon Shelah,et al. On the temporal analysis of fairness , 1980, POPL '80.

[3] Alexander Moshe Rabinovich,et al. A Finite Basis for 'Almost Future' Temporal Logic over the Reals , 2012, MFCS.

[4] D. Gabbay,et al. Temporal Logic Mathematical Foundations and Computational Aspects , 1994 .

[5] Fred Kröger,et al. Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.

[6] Yoram Hirshfeld,et al. Future temporal logic needs infinitely many modalities , 2003, Inf. Comput..

[7] D. Gabbay. Expressive Functional Completeness in Tense Logic (Preliminary report) , 1981 .