Relational proof systems for some AI logics

• Fariñas del Cerro, L. and Orlowska, E. (1985) DAL-a logic for data analysis. Theoretical Computer Science 36, 251–264.

  Google Scholar 

• Goldblatt, R. (1987) Logics of time and computation. Center for the Study of Language and Information, Stanford.

  Google Scholar 

• Halpern, J. (ed) (1986) Theoretical aspects of reasoning about knowledge. Morgan Kaufmann, Los Altos, California.

  Google Scholar 

• Hintikka,J. (1962) Knowledge and belief. Cornell University Press.

  Google Scholar 

• Lenzen, W. (1978) Recent work in epistemic logic. Acta Philosophica Fennica 30, 1–219.

  Google Scholar 

• 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 

• Orlowska, E. (1985) Logic of nondeterministic information. Studia Logica XLIV, 93–102.

  Google Scholar 

• Orlowska, E. (1988) Logical aspects of learning concepts. Journal of Approximate Reasoning 2, 349–364.

  Google Scholar 

• Orlowska, E. (1989) Logic for reasoning about knowledge. Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik 35, 559–572.

  Google Scholar 

• 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 

• Orlowska,E. (1991b) Dynamic logic with program specifications and its relational proof system. Journal of Applied Non-Classical Logics, to appear.

  Google Scholar 

• Pawlak, Z. (1981) Information systems-theoretical foundations. Information Systems 6, 205–218.

  Google Scholar 

• Prior, A. (1967) Past, present and future. Oxford University Press, Oxford.

  Google Scholar 

• Segerberg, K. (1971) An essay in classical modal logic. University of Uppsala, Uppsala.

  Google Scholar 

• Valiev,M.K. (1988) Interpretation of modal logics as epistemic logics (In Russian). Proceedings of the Conference Borzomi'88, Moscow, 76–77.

  Google Scholar 

• 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 

• Vakarelov, D. (1989) Modal logics for knowledge representation. Springer Lecture Notes in Computer Science 363, 257–277.

  Google Scholar 

Download references