Modal logics for knowledge representation systems

  • Dimiter Vakarelov
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 363)


knowledge representation systems logics for knowledge representation modal logics completeness theorems filtration theorems 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Z. Pawlak, Information systems-theoretical foundations, Information Systems, 6(1981), pp 205–218.Google Scholar
  2. [2]
    Z. Pawlak, Systemy Informacyjne, WNT, Warszawa, 1983.Google Scholar
  3. [3]
    E. Orlowska and Z. Pawlak, Logical foundations of knowledge representation, ICS PAS Reports 537 (1984).Google Scholar
  4. [4]
    E. Orlowska and Z. Pawlak, Representation of nondeterministic information, Theor. Computer Science, 29(1984), pp 27–39.Google Scholar
  5. [5]
    E. Orlowska, Logic of nondeterministic information, Studia Logica 1(1985), pp 91–100.Google Scholar
  6. [6]
    D. Vakarelov, Abstract characterization of some knowledge representation systems and the logic NIL of nondeterministic information, in Artificial Intelligence II, Ph. Jorrand and V. Sgurev ed. North-Holland 1987Google Scholar
  7. [7]
    D. Vakarelov, S4 and S5 together — S4+5. In B International Congress of Logic Methodology and Philosophy of Science LMPS'87, Moscow, USSR, 17–22 August 1987, Abstracts, vol. 5, part 3, pp 271–274.Google Scholar
  8. [8]
    K. Segerberg, An Essay in Classical Modal Logic, Upsala, 1971.Google Scholar
  9. [9]
    Hughes. G. E. & M. J. Crasswell, A companion to Modal Logic, Methuen, London, 1984.Google Scholar
  10. [10]
    D. Vakarelov, Modal Characterizations of Classes of Finite and Infinite Quasi-ordered Sets, 1988, in the proc. of the summer school & conference on mathematical logic “Heyting'88”, September 13–23, 1988, Chaika near Varna, Bulgaria.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  • Dimiter Vakarelov
    • 1
  1. 1.Laboratory for Applied LogicSofia UniversitySofiaBulgaria

Personalised recommendations