Gentzen style systems for K45 and K45D

  • Grigori F. Shvarts
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 363)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Moore R.E, Semantical considerations on non-monotonic logic. Artificial Intelligence, 25(1985), 75–94.Google Scholar
  2. 2.
    Konolige K., On the relation between default and autoepistemic logic. Artificial Intelligence, 35(1988), 343–382.Google Scholar
  3. 3.
    Shvarts, G.F., Fixed points of non-monotonic modal theories. Submitted to Artificial Intelligence.Google Scholar
  4. 4.
    McDermott, D., Non-monotonic logic II: non-monotonic modal theories. Journal of the ACM, 29(1982), 33–57.Google Scholar
  5. 5.
    Mints, G.E., Sistemy L'uisa i sistema T (1965–1973). In: R. Feys, Modal'naia logika. (Moscow, Nauka, 1975) (in Russian). (English translation "Lewis systems and T" to appear in: G.E.Mints, Selected papers in proof theory, BIBLIOPOLIS, Napoli).Google Scholar
  6. 6.
    Kobayashi, M., The cut-elimination theorem for the modal propositional logic S5. In: LMPS'87, Abstracts, vol.5, part 1 (Moscow, Nauka, 1987), 282–284.Google Scholar
  7. 7.
    Gentzen, G., Untersuchungen über das logische Schließen, Mathematische Zeitschrift, 39 (1934-1935), 176–210, 405–431.Google Scholar
  8. 8.
    Mints, G.E. The letter to the author of November 17, 1988.Google Scholar
  9. 9.
    Chellas, B.F. Modal logic: an introduction (Cambridge University Press, 1980).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  • Grigori F. Shvarts
    • 1
  1. 1.Program Systems Institute of the USSR Academy of SciencesPereslavl-ZalesskyUSSR

Personalised recommendations