SCOPUS 정보 검색 플랫폼

Proceedings-Symposium on Logic in Computer Science

Volumn , Issue , 2002, Pages 393-402

Decidable and undecidable fragments of first-order branching temporal logics

(3) Hodkinson, Ian a Wolter, Frank b Zakharyaschev, Michael c

a IMPERIAL COLLEGE LONDON (United Kingdom)

b UNIVERSITY OF LEIPZIG (Germany)

c KING'S COLLEGE LONDON (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; DECISION THEORY; SEMANTICS; TREES (MATHEMATICS);

TEMPORAL LOGICS;

FORMAL LOGIC;

EID: 0036044780 PISSN: 10436871 EISSN: None Source Type: Journal
DOI: 10.1109/LICS.2002.1029847 Document Type: Article

Times cited : (56)

References (32)

1
- 0001129020
- Modal languages and bounded fragments of predicate logic
- (1998) J. Philosophical Logic , vol.27 , pp. 217-274
- Andréka, H.¹ Van Benthem, J.² Németi, I.³

2
- 84948462469
- On non-local propositional and local one-variable quantified CTL*
- (2002) Proc. of TIME'02, IEEE Computer Science Press
- Bauer, S.¹ Hodkinson, I.² Wolter, F.³ Zakharyaschev, M.⁴

3
- 0003359740
- The undecidability of the domino problem
- Amer. Math. Soc., Providence, RI
- (1966) Memoirs , vol.66
- Berger, R.¹

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

5
- 84979102594
- The unreal future
- (1978) Theoria , vol.44 , pp. 157-179
- Burgess, J.¹

6
- 0001333674
- Logic and time
- (1979) J. Symbolic Logic , vol.44 , pp. 566-582
- Burgess, J.¹

7
- 0004109904
- Clarendon Press, Oxford
- (1997) Modal Logic
- Chagrov, A.¹ Zakharyaschev, M.²

8
- 0002367651
- Synthesis of synchronization skeletons for branching time temporal logic
- Springer
- (1981) Proc. IBM Workshop on Logic of Programs , pp. 52-71
- Clarke, E.¹ Emerson, E.²

9
- 0001449325
- Temporal and modal logic
- J. Van Leeuwen, editor
- (1990) Handbook of Theoretical Computer Science , pp. 996-1076
- Emerson, E.¹

10
- 0022514018
- 'Sometimes' and 'not never' revisited: On branching versus linear time
- (1979) J. ACM , vol.33 , pp. 151-178
- Emerson, E.¹ Halpern, J.²

11
- 0007995277
- Many-Dimensional Modal Logics: Theory and Applications
- Elsevier
- (2002) Studies in Logic
- Gabbay, D.¹ Kurucz, A.² Wolter, F.³ Zakharyaschev, M.⁴

12
- 0003488165
- Oxford University Press
- (2000) Temporal Logic: Mathematical Foundations and Computational Aspects , vol.2
- Gabbay, D.¹ Reynolds, M.² Finger, M.³

13
- 0005512302
- Open Distributed Systems
- (1993) Vieweg Advanced Studies in Computer Science
- Gotzhein, R.¹

14
- 0000709230
- The decision problem for branching time logic
- (1985) J. Symbolic Logic , vol.50 , pp. 668-681
- Gurevich, Y.¹ Shelah, S.²

15
- 0024605916
- The complexity of reasoning about knowledge and time: Lower bounds
- (1989) Journal of Computer and System Sciences , vol.38 , pp. 195-237
- Halpern, J.¹ Vardi, M.²

16
- 23044525250
- Representability is not decidable for finite relation algebras
- (2001) Trans. Amer. Math. Soc. , vol.353 , pp. 1403-1425
- Hirsch, R.¹ Hodkinson, I.²

17
- 0036339344
- On modal logics between K × K × K and S5 × S5 × S5
- (2002) J. Symbolic Logic , vol.67 , pp. 221-234
- Hirsch, R.¹ Hodkinson, I.² Kurucz, A.³

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

19
- 84937399243
- Monodic fragments of first-order temporal logics: 2000-2001 A.D.
- R. Nieuwenhuis and A. Voronkov, editors, Logic for Programming, Artificial Intelligence and Reasoning, Springer
- (2001) LNAI , vol.2250 , pp. 1-23
- Hodkinson, I.¹ Wolter, F.² Zakharyaschev, M.³

20
- 0002092889
- The logic of distributed protocols
- J. Halpern, editor Morgan Kaufmann
- (1986) Theoretical Aspects of Reasoning about Knowledge , pp. 207-222
- Ladner, R.¹ Reif, J.²

21
- 0000982840
- 3 is undecidable
- (1980) J. Symbolic Logic , vol.45 , pp. 311-316
- Maddux, R.¹

22
- 0005484470
- A tableau-calculus for first-order branching time logic
- D. Gabbay and H. J. Ohlbach, editors, International Conference on Formal and Applied Practical Reasoning (FAPR), Springer
- (1996) LNCS , vol.1085 , pp. 399-413
- May, W.¹ Schmidt, P.²

23
- 0004131117
- Oxford University Press
- (1967) Past, Present and Future
- Prior, A.¹

24
- 0005512306
- (1968) Nous , vol.2 , pp. 101-119
- Prior, A.¹

25
- 33646864200
- Temporal Logic: From Ancient Ideas to Artificial Intelligence
- Kluwer Academic Publishers
- (1996) Studies in Logic and Philosophy , vol.57
- Øhrstrøm, O.¹ Hasle, P.F.V.²

26
- 84968501436
- Decidability of second order theories and automata on infinite trees
- (1969) American Mathematical Society Transactions , vol.141 , pp. 1-35
- Rabin, M.O.¹

27
- 0001276283
- Combinations of tense and modality for predicate logic
- (1999) J. Philosophical Logic , vol.28 , pp. 371-398
- Woelfl, S.¹

28
- 0005410924
- A first-order branching time logic of multi-agent systems
- B. Neumann, editor, Chichester, Wiley & Sons
- (1992) Proc. 10th European Conference on Artificial Intelligence (ECAI92) , pp. 234-238
- Wooldridge, M.¹ Fisher, M.²

29
- 0035629553
- Decidable fragments of first-order modal logics
- (2001) J. Symbolic Logic , vol.66 , pp. 1415-1438
- Wolter, F.¹ Zakharyaschev, M.²

30
- 0005555218
- Axiomatizing the monodic fragment of first-order temporal logic
- print
- Annals of Pure and Applied Logic
- Wolter, F.¹ Zakharyaschev, M.²

31
- 0005468763
- Qualitative spatio-temporal representation and reasoning: A computational perspective
- G. Lakemeyer and B. Nebel, editors, Morgan Kaufmann
- (2002) Exploring Artificial Intelligence in the New Millenium
- Wolter, F.¹ Zakharyaschev, M.²

32
- 0030553582
- Branching-time logic with quantification over branches: The point of view of modal logic
- (1996) J. Symbolic Logic , vol.61 , pp. 1-39
- Zanardo, A.¹

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