메뉴 건너뛰기




Volumn 66, Issue 2, 2001, Pages 497-508

Quasi-modal equivalence of canonical structures

Author keywords

[No Author keywords available]

Indexed keywords


EID: 0035534321     PISSN: 00224812     EISSN: None     Source Type: Journal    
DOI: 10.2307/2695027     Document Type: Article
Times cited : (6)

References (8)
  • 2
    • 77956977555 scopus 로고
    • Some connections between elementary and modal logic
    • S. Kanger, editor
    • K. FINE, Some connections between elementary and modal logic, Third Scandinavian Logic Symposium (North Holland) (S. Kanger, editor), 1975, pp. 15-31.
    • (1975) Third Scandinavian Logic Symposium (North Holland) , pp. 15-31
    • Fine, K.1
  • 4
    • 2942697973 scopus 로고
    • Elementary logics are canonical and pseudo-equational
    • CSLI Lecture Notes, Cambridge University Press, Stanford, California
    • _, Elementary logics are canonical and pseudo-equational, Mathematics of Modality, CSLI Lecture Notes, no. 43, Cambridge University Press, Stanford, California, 1993, pp. 243-257.
    • (1993) Mathematics of Modality , Issue.43 , pp. 243-257
  • 5
    • 10444255930 scopus 로고
    • Metamathematics of modal logic
    • CSLI Lecture Notes, Cambridge University Press, Stanford, California
    • _, Metamathematics of modal logic, Mathematics of Modality, CSLI Lecture Notes, no. 43, Cambridge University Press, Stanford, California, 1993, pp. 9-79.
    • (1993) Mathematics of Modality , Issue.43 , pp. 9-79
  • 6
    • 0007441711 scopus 로고
    • Elementary generation and canonicity for varieties of boolean algebras with operatos
    • _, Elementary generation and canonicity for varieties of boolean algebras with operatos, Algebra Universalis, vol. 34 (1995), pp. 551-607.
    • (1995) Algebra Universalis , vol.34 , pp. 551-607
  • 7
    • 0007441712 scopus 로고    scopus 로고
    • Ph.D. dissertation, Australian National University, Canberra, Australia
    • T. J. SURENDONK, Canonicity for intensional logics, Ph.D. dissertation, Australian National University, Canberra, Australia, 1998.
    • (1998) Canonicity for Intensional Logics
    • Surendonk, T.J.1
  • 8
    • 85037284384 scopus 로고    scopus 로고
    • On isomorphisms between canonical frames
    • CSLI Lecture Notes, CSLI Publications, Stanford, California
    • _, On isomorphisms between canonical frames, Advances in Modal Logic, vol. 1, CSLI Lecture Notes, no. 87, CSLI Publications, Stanford, California, 1998, pp. 249-268.
    • (1998) Advances in Modal Logic , vol.1 , Issue.87 , pp. 249-268


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