SCOPUS 정보 검색 플랫폼

Volumn 12, Issue 2, 2002, Pages 243-253

Monadic logic of order over naturals has no finite base

Author keywords

Monadic logics; Temporal logics

Indexed keywords

AUTOMATA THEORY; MATHEMATICAL MODELS; SET THEORY; THEOREM PROVING;

MONOADIC LOGIC;

FORMAL LOGIC;

EID: 0036538802 PISSN: 0955792X EISSN: None Source Type: Journal
DOI: 10.1093/logcom/12.2.243 Document Type: Conference Paper

Times cited : (6)

References (14)

1
- 0022011210
- Co-deterministic automata on infinite words
- (1985) Information Processing Letters , vol.20 , pp. 95-98
- Beauquier, D.¹ Perrin, D.²

2
- 0002921593
- On a decision method in restricted second order arithmetic
- E. Nagel et al., eds, Stanford University Press, Stanford CA
- (1960) Proceedings of the International Congress on Logic, Methodology and Philosophy of Science , pp. 1-11
- Büchi, J.R.¹

3
- 0009008677
- Model checking
- A. Robinson and A. Voronkov, eds.. Elsevier Science Publishers B.V.
- (1999) Handbook on Automated Reasoning , pp. 3-157
- Clarke, E.¹ Schlingloff, B.H.²

4
- 0022514018
- "Sometimes" and "Not Never" revisited: On branching versus linear time temporal logic
- (1986) Journal of the ACM , vol.33 , pp. 151-178
- Emerson, E.A.¹ Halpern, J.Y.²

6
- 84956863045
- Quantitative temporal logic
- Springer Verlag
- (1999) Lecture Notes in Computer Science , vol.1683 , pp. 172-187
- Hirshfeld, Y.¹ Rabinovich, A.²

8
- 0003954424
- Phd thesis, University of California, Los Angeles
- (1968) Tense Logic and the Theory of Linear Order
- Kamp, H.W.¹

9
- 49049126479
- Results on the propositional μ-calculus
- (1983) Theoretical Computer Science , vol.27 , pp. 333-354
- Kozen, D.¹

10
- 0346678020
- Fixed point characterization of infinite behavior of finite-state systems, fundamental study
- (1997) Theoretical Computer Science , vol.189 , pp. 1-69
- Niwiński, D.¹

13
- 0013360768
- Why so many temporal logics climb up the trees?
- Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science (MFCS'2000), Bratislava, Slovakia, Aug. 2000, Springer
- (2000) Lecture Notes in Computer Science , vol.1893 , pp. 629-639
- Rabinovich, A.¹ Maoz, S.²

14
- 0000098287
- The monadic theory of order
- (1975) Annals of Mathematics , vol.102 , pp. 379-419
- Shelah, S.¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.