A PROOF OF KAMP'S THEOREM

被引：17

|

作者：

Rabinovich, Alexander ^{[1
]}

机构：

[1] Tel Aviv Univ, Blavatnik Sch Comp Sci, IL-69978 Tel Aviv, Israel

来源：

LOGICAL METHODS IN COMPUTER SCIENCE | 2014年 / 10卷 / 01期

关键词：

Temporal Logic; Monadic Logic; Expressive Completeness; FUTURE TEMPORAL LOGIC;

D O I：

10.2168/LMCS-10(1:14)2014

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

We provide a simple proof Kamp's theorem.

引用

收藏

页数：16

相关论文

共 50 条

[1] A proof of Kamp's theorem
[J]. Rabinovich, A. (rabinoa@post.tau.ac.il), 1600, Logical Methods in Computer Science (10):
[2] A PROOF OF JAKOBSON'S THEOREM
Yoccoz, Jean-Christophe
[J]. ASTERISQUE, 2019, (410) : 15 - 52
[3] A Proof of Grilliot's Theorem
Aguilera, Juan P.
Kerchove, Ferre Vanden
[J]. BULLETIN OF THE BELGIAN MATHEMATICAL SOCIETY-SIMON STEVIN, 2024, 31 (01) : 1 - 16
[4] The proof of Tchakaloff's theorem
Bayer, Christian
Teichmann, Josef
[J]. PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 2006, 134 (10) : 3035 - 3040
[5] A proof of Sharkovsky's theorem
Bernhardt, C
[J]. JOURNAL OF DIFFERENCE EQUATIONS AND APPLICATIONS, 2003, 9 (3-4) : 373 - 379
[6] On a Proof of Roth's Theorem
李炯生
[J]. Journal of Mathematical Research with Applications, 1984, (04) : 75 - 76
[7] A proof of Petersen's theorem
Frink, O
[J]. ANNALS OF MATHEMATICS, 1926, 27 : 491 - 493
[8] A proof of Kolmogorov's theorem
Hubbard, J
Ilyashenko, Y
[J]. DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS, 2004, 10 (1-2) : 367 - 385
[9] A PROOF OF STAVI'S THEOREM
Rabinovich, Alexander
[J]. LOGICAL METHODS IN COMPUTER SCIENCE, 2018, 14 (01)
[10] A proof of Cauchy's theorem
Behera, A
Nanda, S
[J]. INDIAN JOURNAL OF PURE & APPLIED MATHEMATICS, 1996, 27 (11): : 1107 - 1110

← 1 2 3 4 5 →