SCOPUS 정보 검색 플랫폼

Volumn 118, Issue 1-2, 2002, Pages 133-145

Axiomatizing the monodic fragment of first-order temporal logic

Author keywords

Axiomatizability; Decidability; First order temporal logic; Undecidability

Indexed keywords

EID: 0036885383 PISSN: 01680072 EISSN: None Source Type: Journal
DOI: 10.1016/S0168-0072(01)00124-5 Document Type: Article

Times cited : (47)

References (12)

1
- 0004276026
- The Classical Decision Problem, Perspectives in Mathematical Logic
- Springer, Berlin
- (1997)
- Börger, E.¹ Grädel, E.² Gurevich, Yu.³

2
- 0029530231
- On the feasibility of checking temporal integrity constraints
- (1995) J. Comput. Systems Sci , vol.51 , pp. 523-535
- Chomicki, J.¹ Niwinski, D.²

3
- 0002807231
- Temporal logic in information systems
- J. Chomicki, G. Saake (Eds.), Kluwer Academic Publishers, Dordrecht
- (1998) Logics for Databases and Information Systems , pp. 31-70
- Chomicki, J.¹ Toman, D.²

4
- 0003488165
- Temporal Logic: Mathematical Foundations and Computational Aspects
- Oxford University Press, Oxford
- (1994) , vol.1
- Gabbay, D.¹ Hodkinson, I.² Reynolds, M.³

5
- 0009377252
- Logics of Time and Computation, CSLI Lecture Notes, Stanford, CSLI
- (1987) , vol.7
- Goldblatt, R.I.¹

6
- 84957612843
- Decision procedures for guarded logics, Automated Deduction - CADE-16, Proceedings of the 16th International Conference on Automated Deduction, Lecture Notes in Artificial Intelligence, Springer, Berlin
- (1999) , vol.1632 , pp. 31-51
- Grädel, E.¹

7
- 0012742546
- Loosely guarded fragment of first-order logic has the finite model property
- in print
- (2001) Stud. Logica
- Hodkinson, I.¹

8
- 0001853205
- Decidable fragments of first-order temporal logics
- (2000) Ann. Pure Appl. Logic , vol.106 , pp. 85-134
- Hodkinson, I.¹ Wolter, F.² Zakharyaschev, M.³

9
- 0003799504
- The Temporal Logic of Reactive and Concurrent Systems
- Springer, Berlin
- (1992)
- Manna, Z.¹ Pnueli, A.²

10
- 0009411917
- Decidability of fluted logic with identity
- (1996) Notre Dame J. Formal Logic , vol.37 , pp. 84-104
- Purdy, W.C.¹

11
- 0030540687
- Fluted formulas and the limits of decidability
- (1996) J. Symbolic Logic , vol.61 , pp. 608-620
- Purdy, W.C.¹

12
- 0003936466
- Dynamic bits and pieces
- Technical Report LP-97-01, ILLC, University of Amsterdam
- (1997)
- van Benthem, J.¹

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