论文信息 - The decision problem for linear temporal logic - 字舞流文

The decision problem for linear temporal logic

On etudie la decidabilite des theories temporelles de differentes classes d'ordres lineaires

John P. Burgess | Yuri Gurevich

[1] Vaughan R. Pratt,et al. Application of modal logic to programming , 1980 .

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

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

[4] Jon Barwise,et al. An Introduction to First-Order Logic , 1977 .

[5] Abraham Robinson,et al. Elementary properties of ordered abelian groups , 1960 .

[6] Saharon Shelah,et al. Monadic theory of order and topology in ZFC , 1982, Ann. Math. Log..

[7] M. Rabin. Decidability of second-order theories and automata on infinite trees , 1968 .

[8] Y. Gurevich. Expanded theory of ordered Abelian groups , 1977 .

[9] S. Sieber. On a decision method in restricted second-order arithmetic , 1960 .

[10] John P. Burgess,et al. Logic and time , 1979, Journal of Symbolic Logic.

[11] H. Läuchli,et al. On the elementary theory of linear order , 1966 .

[12] S. Shelah. The monadic theory of order , 1975, 2305.00968.