Publisher
Springer Berlin Heidelberg
Reference11 articles.
1. R. Rado, Axiomatic treatment of rank in infinite sets, Canadian J. of Math. 1 (1949), 337–343.
2. F.P. Ramsey, On a problem of formal logic, Proc. London Math. Soc. 30 (1929), 264–286.
3. J.R. Büchi, The monadic second order theory of θ1, Lecture Notes in Math. 328, Springer (1973), 1–127.
4. J.R. Büchi, On a decision method in restricted second order arithmetic, Proc. 1960 Int. Cong. for Logic, Stanford Univ. Press (1962), 1–11.
5. L. Löwenheim, Über Möglichkeiten im Relativekalkul, Math. Ann. 76 (1915), 447–470.
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The Work of J. Richard Büchi;Perspectives on the History of Mathematical Logic;2008
2. 20 Modal logic for games and information;Handbook of Modal Logic;2007
3. Fixpoints, games and the difference hierarchy;RAIRO - Theoretical Informatics and Applications;2003-01
4. Bibliography;Rudiments of μ-Calculus;2001
5. Languages, Automata, and Logic;Handbook of Formal Languages;1997