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

메뉴 건너뛰기

Volumn 65, Issue 2, 2000, Pages 237-247

Kripke incompleteness of predicate extensions of the modal logics axiomatized by a canonical formula for a frame with a nontrivial cluster

(1) Shimura, Tatsuya a

a NIHON UNIVERSITY (Japan)

Author keywords

Canonical formulas; Kripke incompleteness; Modal predicate logics

Indexed keywords

EID: 40849122382 PISSN: 00393215 EISSN: 15728730 Source Type: Journal
DOI: 10.1023/A:1005219831286 Document Type: Article

Times cited : (3)

References (16)

1
- 0004109904
- Clarendon Press, Oxford
- CHAGROV, A., and M. ZAKHARYASCHEV, Modal Logic, Clarendon Press, Oxford, 1997.
- (1997) Modal Logic
- Chagrov, A.¹ Zakharyaschev, M.²

2
- 84979121739
- An ascending chain of S4 logics
- FINE, K., 'An ascending chain of S4 logics', Theoria 40 (1974), 110-116.
- (1974) Theoria , vol.40 , pp. 110-116
- Fine, K.¹

3
- 0000196433
- Logics containing K4. Part II
- FINE, K., 'Logics containing K4. Part II, Journal of Symbolic Logic 50 (1985), 619-651.
- (1985) Journal of Symbolic Logic , vol.50 , pp. 619-651
- Fine, K.¹

4
- 0000914333
- Presheaf semantics and independence results for some non-classical first-order logics
- GHILARDI, S., 'Presheaf semantics and independence results for some non-classical first-order logics', Archive for Mathematical Logic 29 (1989), 125-136.
- (1989) Archive for Mathematical Logic , vol.29 , pp. 125-136
- Ghilardi, S.¹

5
- 37949008653
- Incompleteness results in Kripke semantics
- GHILARDI, S., 'Incompleteness results in Kripke semantics', Journal of Symbolic Logic 56 (1991), 517-538.
- (1991) Journal of Symbolic Logic , vol.56 , pp. 517-538
- Ghilardi, S.¹

6
- 0004284940
- Routledge, London
- HUGHES, G. E., and M. J. CRESSWELL, A New Introduction to Modal Logic, Routledge, London, 1986.
- (1986) A New Introduction to Modal Logic
- Hughes, G.E.¹ Cresswell, M.J.²

7
- 52849121467
- Kripke incompleteness of some predicate extensions of modal subframe logics without finite embedding property
- ISODA, E., and T. SHIMURA, 'Kripke incompleteness of some predicate extensions of modal subframe logics without finite embedding property', Bulletin of Section of Logic 27 (1998), 182-189.
- (1998) Bulletin of Section of Logic , vol.27 , pp. 182-189
- Isoda, E.¹ Shimura, T.²

8
- 84972526413
- The predicate modal logic of provability
- MONTAGNA, F., 'The predicate modal logic of provability', Notre Dame Journal of Formal Logic 20 (1984), 179-189.
- (1984) Notre Dame Journal of Formal Logic , vol.20 , pp. 179-189
- Montagna, F.¹

9
- 0002791972
- Semantics of non-classical first order predicate logics
- P. P. Petkov (ed.), Plenum Press
- SHEHTMAN, V. B., and D.P. SKVORTSOV, 'Semantics of non-classical first order predicate logics', in: Mathematical Logic, P. P. Petkov (ed.), Plenum Press, 1990, pp. 105-116.
- (1990) Mathematical Logic , pp. 105-116
- Shehtman, V.B.¹ Skvortsov, D.P.²

10
- 0040791583
- Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas
- SHIMURA, T., 'Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas', Studia Logica 52 (1993), 23-40.
- (1993) Studia Logica , vol.52 , pp. 23-40
- Shimura, T.¹

11
- 40849132303
- Rasiowa-Sikorski lemma and Kripke completeness of predicate and infinitary modal logics
- TANAKA, Y., and H. ONO, 'Rasiowa-Sikorski lemma and Kripke completeness of predicate and infinitary modal logics', Advances in Modal Logic '98, 1998.
- (1998) Advances in Modal Logic '98
- Tanaka, Y.¹ Ono, H.²

12
- 34249967935
- Syntax and semantics of modal logics containing S4
- ZAKHARYASCHEV, M. V., 'Syntax and semantics of modal logics containing S4', Algebra i Logika 27 (1988), 659-689
- (1988) Algebra i Logika , vol.27 , pp. 659-689
- Zakharyaschev, M.V.¹

13
- 34249967935
- . (English translation: Algebra and Logic 27 (1988), 408-428.)
- (1988) Algebra and Logic , vol.27 , pp. 408-428

14
- 0040455641
- Syntax and semantics of superintuitionistic logics
- ZAKHARYASCHEV, M. V., 'Syntax and semantics of superintuitionistic logics', Algebra i Logika 28 (1989), 402-429.
- (1989) Algebra i Logika , vol.28 , pp. 402-429
- Zakharyaschev, M.V.¹

15
- 34249297678
- (English translation: Algebra and Logic 28 (1989), 262-282.
- (1989) Algebra and Logic , vol.28 , pp. 262-282

16
- 0000758236
- Canonical formulas for K4. Part I: Basic results
- ZAKHARYASCHEV, M. V., 'Canonical formulas for K4. Part I: Basic results', Journal of Symbolic Logic 57 (1992), 1377-1402.
- (1992) Journal of Symbolic Logic , vol.57 , pp. 1377-1402
- Zakharyaschev, M.V.¹

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