메뉴 건너뛰기




Volumn 9, Issue 2-3, 1999, Pages 303-328

A hierarchy of modal logics with relative accessibility relations

Author keywords

[No Author keywords available]

Indexed keywords


EID: 0003612364     PISSN: 11663081     EISSN: 19585780     Source Type: Journal    
DOI: 10.1080/11663081.1999.10510969     Document Type: Article
Times cited : (27)

References (27)
  • 1
    • 0038725997 scopus 로고
    • A. Meyer and M. Taitslin (editors), Logic at Botik'89. Lecture Notes in Computer Science 363, Springer- Verlag
    • D. Arhangelsky and M. Taitslin. A logic for data description. A. Meyer and M. Taitslin (editors), Logic at Botik'89. Lecture Notes in Computer Science 363, 2-11, Springer- Verlag, 1989
    • (1989) A Logic for Data Description , pp. 2-11
    • Arhangelsky, D.1    Taitslin, M.2
  • 2
    • 84947913636 scopus 로고    scopus 로고
    • W. Penczek, A. Szalas ( editors), Mathematical Foundations of Computer Science 1996. Lecture Notes in Computer Science 1113, Springer-Verlag
    • P. Balbiani. A modal logic for data analysis. W. Penczek, A. Szalas ( editors), Mathematical Foundations of Computer Science 1996. Lecture Notes in Computer Science 1113, Springer-Verlag, 167-179, 1996
    • (1996) A Modal Logic for Data Analysis , pp. 167-179
    • Balbiani, P.1
  • 3
    • 52849101304 scopus 로고    scopus 로고
    • E. Orlowska (editor), Incomplete Information: Hough Set Analysis. Studies in Fuzziness and Soft Computing 13, Physica Verlag
    • P. Balbiani. Axiomatization of logics based on Kripke models with relative accessibility relations. E. Orlowska (editor), Incomplete Information: Hough Set Analysis. Studies in Fuzziness and Soft Computing 13, 553-578, Physica Verlag, 1998
    • (1998) Axiomatization of Logics Based on Kripke Models with Relative Accessibility Relations , pp. 553-578
    • Balbiani, P.1
  • 5
    • 84887414507 scopus 로고    scopus 로고
    • Bulletin of the Polish Academy of Sciences, Mathematics
    • S. Demri. The validity problem for DALLA is decidable. Bulletin of the Polish Academy of Sciences, Mathematics, Volume 4, 79-86, 1996
    • (1996) The Validity Problem for DALLA is Decidable , vol.4 , pp. 79-86
    • Demri, S.1
  • 7
    • 52849127959 scopus 로고    scopus 로고
    • E. Orlowska (editor), Incomplete Information : Rough Set Analysis. Studies in Fuzziness and Soft Computing 13, Physica Verlag
    • S. Demri and E. Orlowska. Logical analysis of indiscernibility. E. Orlowska (editor), Incomplete Information : Rough Set Analysis. Studies in Fuzziness and Soft Computing 13, 347-380, Physica Verlag, 1998
    • (1998) Logical Analysis of Indiscernibility , pp. 347-380
    • Demri, S.1    Orlowska, E.2
  • 11
    • 53149107786 scopus 로고
    • P. Petkov (editor), Mathematical Logic, Plenum Press
    • G. Gargov and S. Passy. A note on Boolean modal logic. P. Petkov (editor), Mathematical Logic. 299-309, Plenum Press, 1990
    • (1990) A Note on Boolean Modal Logic , pp. 299-309
    • Gargov, G.1    Passy, S.2
  • 13
    • 0001273055 scopus 로고
    • Handbook of Philosophical Logic, Extensions of Classical Logic, Reidel
    • D. Harel. Dynamic logic. D. Gabbay and F. Guenthner (editors), Handbook of Philosophical Logic, Volume 2, Extensions of Classical Logic. 497-604, Reidel, 1984
    • (1984) Dynamic Logic , vol.2 , pp. 497-604
    • Harel, D.1
  • 17
    • 33749669435 scopus 로고
    • G. Dorn, P. Weingartner ( editors), Foundations of Logic and Linguistics. Problems and Solutions. Selected Contributions to the 7th International Congress of Logic, Methodology and Philosophy of Science, Salzburg 1983, Plenum Press
    • E. Orlowska. Semantics of vague concepts. G. Dorn, P. Weingartner ( editors), Foundations of Logic and Linguistics. Problems and Solutions. Selected Contributions to the 7th International Congress of Logic, Methodology and Philosophy of Science, Salzburg 1983. 465-482, Plenum Press, 1983
    • (1983) Semantics of Vague Concepts , pp. 465-482
    • Orlowska, E.1
  • 18
    • 84992397806 scopus 로고
    • A. Skowron (editor), Computation Theory. Lecture Notes in Computer Science 208, Springer-Verlag
    • E. Orlowska. Logic of indiscernibility relations. A. Skowron (editor), Computation Theory. Lecture Notes in Computer Science 208, 177-186, Springer-Verlag, 1985
    • (1985) Logic of Indiscernibility Relations , pp. 177-186
    • Orlowska, E.1
  • 21
    • 84981422039 scopus 로고
    • Zeitschrift für Mathematische Logik und Grundlagen der Mathematik
    • E. Orlowska. Logic for reasoning about knowledge. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, Volume 3.5, 559-572, 1989
    • (1989) Logic for Reasoning About Knowledge , vol.35 , pp. 559-572
    • Orlowska, E.1
  • 22
    • 84887446868 scopus 로고    scopus 로고
    • K. Kijania-Placek, J. Wolenski (editors),The Lvov Warsaw School and the Contemporary Philosophy. Kluwer, Dordrecht
    • E. Orlowska. Studying incompleteness of information : a class of information logics. K. Kijania-Placek, J. Wolenski (editors),The Lvov Warsaw School and the Contemporary Philosophy. Kluwer, Dordrecht, 1997, 303-320
    • (1997) Studying Incompleteness of Information : A Class of Information Logics , pp. 303-320
    • Orlowska, E.1


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