SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Journal of Symbolic Logic

Volumn 67, Issue 1, 2002, Pages 221-234

On modal logics between K × K × K and S5 × S5 × S5

(3) Hirsch, R a Hodkinson, I b Kurucz, A c

a UNIVERSITY COLLEGE LONDON (United Kingdom)

b IMPERIAL COLLEGE LONDON (United Kingdom)

c KING'S COLLEGE LONDON (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0036339344 PISSN: 00224812 EISSN: None Source Type: Journal
DOI: 10.2178/jsl/1190150040 Document Type: Article

Times cited : (36)

References (20)

1
- 0005645110
- Oxford logic guides
- Oxford University Press
- (1997) Modal logic , vol.35
- Chagrov, A.¹ Zakharyaschev, M.²

2
- 0004295027
- Clarendon Press, Oxford
- (1999) Fibring logics
- Gabbay, D.M.¹

3
- 85010717117
- Studies in logic
- Elsevier
- Many-dimensional modal logics: Theory and applications
- Gabbay, D.M.¹ Kurucz, A.² Wolter, F.³ Zakharyaschev, M.⁴

4
- 0000414270
- this Journal
- (1993) Undecidability of modal and intermediate first-order logics with two individual variables , vol.58 , pp. 800-823
- Gabbay, D.M.¹ Shehtman, V.B.²

5
- 0002002121
- Products of modal logics, Part I
- (1998) Logic Journal of the Interest Group in Pure and Applied Logic , vol.6 , pp. 73-146

6
- 84968491175
- Algebraic logic, IV
- (1957) Transactions of the American Mathematical Society , vol.86 , pp. 1-27
- Halmos, P.¹

7
- 0004103902
- North Holland
- (1985) Cylindric algebras, Part II
- Henken, L.¹ Monk, J.D.² Tarski, A.³

8
- 23044525250
- Representability is not decidable for finite relation algebras
- (2001) Transactions of the American Mathematical Society , vol.353 , pp. 1403-1425
- Hirsch, R.¹ Hodkinson, I.²

9
- 0002198010
- this Journal
- (1969) Nonfinitizability of classes of representable polyadic algebras , vol.34 , pp. 344-352
- Johnson, J.S.¹

10
- 0000606810
- this Journal
- (2000) On axiomatising products of Kripke frames , vol.65 , pp. 923-945
- Kurucz, A.¹

11
- 4243925391
- S5 × S5 × S5 lacks the finite model property
- CSLI Publications
- Advances in modal logic , vol.3
- Wolter, F.¹ Wansing, H.² De Rijke, M.³ Zakharyaschev, M.⁴

12
- 0000982840
- this Journal
- (1980) 3 is undecidable , vol.45 , pp. 311-316
- Maddux, R.¹

13
- 0000089354
- Introductory course on relation algebras, finite-dimensional cylindric algebras, and their interconnections
- Colloquia Mathematica Societatis János Bolyai, North-Holland
- (1991) Algebraic logic , vol.54 , pp. 361-392
- Andréka, H.¹ Monk, J.D.² Németi, I.³

14
- 0032628122
- Complexity of products of modal logics
- (1999) Journal of Logic and Computation , vol.9 , pp. 197-214
- Marx, M.¹

15
- 4243965732
- doctoral dissertation, University of California, Berkeley
- (1961) Studies in cylindric algebra
- Monk, J.D.¹

16
- 0001953512
- Two-dimensional modal logic
- (1973) Journal of Philosophical Logic , vol.2 , pp. 77-96
- Segerberg, K.¹

17
- 0000219906
- Two-dimensional modal logics
- (1978) Matematicheskie Zametki , vol.5 , pp. 759-772
- Shehtman, V.¹

18
- 0003759706
- Ph.D, thesis, University of Amsterdam
- (1993) Complexity of modal logics
- Spaan, E.¹

19
- 0001292098
- Modal description logics: Modalizing roles
- (1999) Fundamenta Informaticae , vol.39 , pp. 411-438
- Wolter, F.¹ Zakharyaschev, M.²

20
- 0002135769
- Spatio-temporal representation and reasoning based on RCC-8
- Montreal, Canada, Morgan Kaufman
- (2000) Proceedings of the 7th conference on principles of knowledge representation and reasoning (KR-2000) , pp. 3-14
- Wolter, F.¹ Zakharyaschev, M.²

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