메뉴 건너뛰기
Fundamenta Informaticae
Volumn 39, Issue 1-2, 1999, Pages 105-121
On quantified modal logic
Author keywords

[No Author keywords available]
Indexed keywords

EID: 0039186125     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: 10.3233/fi-1999-391206     Document Type: Article
Times cited : (12)
References (12)
  • 1
    • 0039749937 scopus 로고
    • Modal logic should say more than it does
    • J.-L. Lassez and G. Plotkin, editors, MIT Press, Cambridge, MA
    • M. C. Fitting. Modal logic should say more than it does. In J.-L. Lassez and G. Plotkin, editors, Computational Logic, Essays in Honor of Alan Robinson, pages 113-135. MIT Press, Cambridge, MA, 1991.
    • (1991) Computational Logic, Essays in Honor of Alan Robinson , pp. 113-135
    • Fitting, M.C.1
  • 2
    • 0001604343 scopus 로고
    • Basic modal logic
    • D. M. Gabbay, C. J. Hogger, and J. A. Robinson, editors, Oxford University Press
    • M. C. Fitting. Basic modal logic. In D. M. Gabbay, C. J. Hogger, and J. A. Robinson, editors, Handbook of Logic in Artificial Intelligence and Logic Programming, volume 1, pages 368-448. Oxford University Press, 1993.
    • (1993) Handbook of Logic in Artificial Intelligence and Logic Programming , vol.1 , pp. 368-448
    • Fitting, M.C.1
  • 3
    • 0030281822 scopus 로고    scopus 로고
    • A modal herbrand theorem
    • M. C. Fitting. A modal Herbrand theorem. Fundamenta Informaticae, 28:101-122, 1996.
    • (1996) Fundamenta Informaticae , vol.28 , pp. 101-122
    • Fitting, M.C.1
  • 5
    • 85086054977 scopus 로고    scopus 로고
    • Herbrand's theorem, and the assignment statement
    • J. Calmet and J. Plaza, editors, Springer Lecture Notes in Artificial Intelligence, 1476
    • M. C. Fitting. Bertrand Russell, Herbrand's theorem, and the assignment statement. In J. Calmet and J. Plaza, editors, Artificial Intelligence and Symbolic Computation, pages 14-28. Springer Lecture Notes in Artificial Intelligence, 1476, 1998.
    • (1998) Artificial Intelligence and Symbolic Computation , pp. 14-28
    • Fitting, M.C.1    Russell, B.2
  • 7
    • 0002399785 scopus 로고
    • Quantification in modal logic
    • D. Gabbay and F. Guenthner, editors, D. Reidel
    • J. W. Garson. Quantification in modal logic. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, volume 2, pages 249-307. D. Reidel, 1984.
    • (1984) Handbook of Philosophical Logic , vol.2 , pp. 249-307
    • Garson, J.W.1
  • 8
    • 0001273055 scopus 로고
    • Dynamic logic
    • D. Gabbay and F. Guenthner, editors, D. Reidel
    • D. Harel. Dynamic logic. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, volume 2, pages 497-604. D. Reidel, 1984.
    • (1984) Handbook of Philosophical Logic , vol.2 , pp. 497-604
    • Harel, D.1
  • 9
    • 0000605706 scopus 로고
    • On denoting
    • B. Russell. On denoting. Mind, 14:479-493, 1905. Reprinted in Robert C. Marsh, ed., Logic and Knowledge: Essays 1901-1950, by Bertrand Russell, Allen & Unwin, London, 1956.
    • (1905) Mind , vol.14 , pp. 479-493
    • Russell, B.1
  • 11
    • 0000532271 scopus 로고
    • Abstraction in first-order modal logic
    • R. Stalnaker and R. Thomason. Abstraction in first-order modal logic. Theoria, 34:203-207, 1968.
    • (1968) Theoria , vol.34 , pp. 203-207
    • Stalnaker, R.1    Thomason, R.2
  • 12
    • 0012211675 scopus 로고
    • Modality and reference
    • R. Thomason and R. Stalnaker. Modality and reference. Nous, 2:359-372, 1968.
    • (1968) Nous , vol.2 , pp. 359-372
    • Thomason, R.1    Stalnaker, R.2

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