Nonclassical models for logic programs

  • Valentinas Kriaučiukas
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 567)


We present some results on semantics for logic programs. We interpret logic programs in Kripke models. They connect the area of logic programming and that of nonclassical logics. New connectives are carried over dynamic logic to logic programs, resulting in so-called predicate programs. A wide class of predicate programs is shown to have the same meaning as formulas of dynamic logic with context-free programs. This allows to discuss the known problem of introducing the negation into logic programs in new light.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Kr]
    Kriaučiukas V. Dynamic logics in a form of logic programs. Math. Logics and Appl. Vilnius, 1990. No. 6. P. 67–76. (in Russian)Google Scholar
  2. [Ha]
    Harel D. First-order dynamic logic. Lect.Notes Comp.Sci. Springer, 1979. V. 68.Google Scholar
  3. [Ko]
    Kowalski R.A. Predicate logic as a programming language. Proc. IFIP'74, Stockholm. North-Holland, 1974. P. 500–506.Google Scholar
  4. [AM]
    Abadi A., Manna Z. Temporal logic programming. J. Symbolic Computation. 1989. V. 8, No. 2. P. 277–295.Google Scholar
  5. [AE]
    Apt K.R., van Emden M.H. Contributions to the theory of logic programming. J. ACM. 1982. V. 29, No. 3. P. 841–862.CrossRefGoogle Scholar
  6. [Mi]
    Milner R. A calculus for communicating systems. Lect.Notes Comp.Sci. Springer, 1980. V. 92.Google Scholar
  7. [Gr]
    Grabowski J. Unificational dynamic logic. Elektron. Inf.verarb.Kybern. EIK. 1986. V. 22, No. 5/6. P. 325–338.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Valentinas Kriaučiukas
    • 1
  1. 1.Institute of Mathematics and InformaticsLithuanian Academy of SciencesVilniusLithuania

Personalised recommendations