Preview
Unable to display preview. Download preview PDF.
References
Z. Pawlak, Information systems-theoretical foundations, Information Systems, 6(1981), pp 205–218.
Z. Pawlak, Systemy Informacyjne, WNT, Warszawa, 1983.
E. Orlowska and Z. Pawlak, Logical foundations of knowledge representation, ICS PAS Reports 537 (1984).
E. Orlowska and Z. Pawlak, Representation of nondeterministic information, Theor. Computer Science, 29(1984), pp 27–39.
E. Orlowska, Logic of nondeterministic information, Studia Logica 1(1985), pp 91–100.
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 1987
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.
K. Segerberg, An Essay in Classical Modal Logic, Upsala, 1971.
Hughes. G. E. & M. J. Crasswell, A companion to Modal Logic, Methuen, London, 1984.
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.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Vakarelov, D. (1989). Modal logics for knowledge representation systems. In: Meyer, A.R., Taitslin, M.A. (eds) Logic at Botik '89. Logic at Botik 1989. Lecture Notes in Computer Science, vol 363. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-51237-3_21
Download citation
DOI: https://doi.org/10.1007/3-540-51237-3_21
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51237-0
Online ISBN: 978-3-540-46180-7
eBook Packages: Springer Book Archive