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 条
  • [31] A simple proof of Noether's theorem
    Chapman, RJ
    [J]. GLASGOW MATHEMATICAL JOURNAL, 1996, 38 : 49 - 51
  • [32] An intuitionistic proof of Kruskal's theorem
    Veldman, W
    [J]. ARCHIVE FOR MATHEMATICAL LOGIC, 2004, 43 (02) : 215 - 264
  • [33] A Simple Proof of Sierpinski's Theorem
    Blaszezyk, Aleksander
    [J]. AMERICAN MATHEMATICAL MONTHLY, 2019, 126 (05): : 464 - 466
  • [34] Inductive proof of Borchardt’s theorem
    Andy A. Chavez
    Alec P. Adam
    Paul W. Ayers
    Ramón Alain Miranda-Quintana
    [J]. Journal of Mathematical Chemistry, 2024, 62 : 802 - 808
  • [35] An Alternative Proof of Steinhaus's Theorem
    Sadhukhan, Arpan
    [J]. AMERICAN MATHEMATICAL MONTHLY, 2020, 127 (04): : 330 - 330
  • [36] Proof of Poincare's geometric theorem
    Birkhoff, George D.
    [J]. TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1913, 14 (1-4) : 14 - 22
  • [37] A simple proof of Miller's theorem
    Davidovic, MD
    [J]. IEEE TRANSACTIONS ON EDUCATION, 1999, 42 (02) : 154 - 155
  • [38] A short proof of Levinson's theorem
    Young, Matthew P.
    [J]. ARCHIV DER MATHEMATIK, 2010, 95 (06) : 539 - 548
  • [39] Proof of Shelah's partition theorem
    Kojman, M.
    [J]. Archive for Mathematical Logic, 1995, 34 (04):
  • [40] A new proof of Doob's theorem
    Gerlach, Moritz
    Nittka, Robin
    [J]. JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, 2012, 388 (02) : 763 - 774
12345