Relational proof systems for some AI logics

  • Eva Orlowska
Part I Invited Lectures
Part of the Lecture Notes in Computer Science book series (LNCS, volume 535)


Relational methodology of defining automated proof systems has been applied to a modal logic for reasoning with incomplete information and to an epistemic logic for reasoning about partial knowledge of groups of agents.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Fariñas del Cerro, L. and Orlowska, E. (1985) DAL-a logic for data analysis. Theoretical Computer Science 36, 251–264.Google Scholar
  2. Goldblatt, R. (1987) Logics of time and computation. Center for the Study of Language and Information, Stanford.Google Scholar
  3. Halpern, J. (ed) (1986) Theoretical aspects of reasoning about knowledge. Morgan Kaufmann, Los Altos, California.Google Scholar
  4. Hintikka,J. (1962) Knowledge and belief. Cornell University Press.Google Scholar
  5. Lenzen, W. (1978) Recent work in epistemic logic. Acta Philosophica Fennica 30, 1–219.Google Scholar
  6. Orlowska, E. (1983) Semantics of vague concepts. In: Dorn, G. and Weingartner, P. (eds) Foundations of logic and linguistics. Problems and their solutions. Selected contributions to the 7th International Congress of Logic, Methodology and Philosophy of Science, Salzburg 1983. Plenum Press, London-New York, 465–482.Google Scholar
  7. Orlowska, E. (1985) Logic of nondeterministic information. Studia Logica XLIV, 93–102.Google Scholar
  8. Orlowska, E. (1988) Logical aspects of learning concepts. Journal of Approximate Reasoning 2, 349–364.Google Scholar
  9. Orlowska, E. (1989) Logic for reasoning about knowledge. Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik 35, 559–572.Google Scholar
  10. Orlowska, E. (1991a) Relational interpretation of modal logics. In: Andreka, H., Monk, D. and Nemeti, I. (eds) Algebraic Logic. North Holland, Amsterdam, to appear.Google Scholar
  11. Orlowska,E. (1991b) Dynamic logic with program specifications and its relational proof system. Journal of Applied Non-Classical Logics, to appear.Google Scholar
  12. Pawlak, Z. (1981) Information systems-theoretical foundations. Information Systems 6, 205–218.Google Scholar
  13. Prior, A. (1967) Past, present and future. Oxford University Press, Oxford.Google Scholar
  14. Segerberg, K. (1971) An essay in classical modal logic. University of Uppsala, Uppsala.Google Scholar
  15. Valiev,M.K. (1988) Interpretation of modal logics as epistemic logics (In Russian). Proceedings of the Conference Borzomi'88, Moscow, 76–77.Google Scholar
  16. Vakarelov, D. (1987) Abstract characterization of some knowledge representation systems and the logic NIL of nondeterministic information. In: Jorrand, Ph. and Sgurev, V. (eds) Artificial Intelligence II, Methodology, Systems, Applications. North Holland, Amsterdam.Google Scholar
  17. Vakarelov, D. (1989) Modal logics for knowledge representation. Springer Lecture Notes in Computer Science 363, 257–277.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Eva Orlowska
    • 1
  1. 1.Institute of Theoretical and Applied Computer SciencePolish Academy of SciencesPoland

Personalised recommendations