Siberian Mathematical Journal

, Volume 27, Issue 6, pp 914–919 | Cite as

A nondeterministic program logic

  • I. Kh. Musikaev


Program Logic Nondeterministic Program 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literature Cited

  1. 1.
    P. Berman, J. Y. Halpern, and J. Tiuryn, “On the power of nondeterminism in dynamic logic,” in: Automata, Languages, and Programming, Springer-Verlag, Berlin (1982), pp. 48–60.Google Scholar
  2. 2.
    M. A. Taitslin, “Five problems on program logics,” in: Studies in Model Theory [in Russian], KazGU, Alma-Ata (1982), pp. 61–66.Google Scholar
  3. 3.
    M. A. Taitslin, “Hierarchy of program logics,” Sib. Mat. Zh.,24, No. 3, 184–192 (1983).Google Scholar
  4. 4.
    I. Kh. Musikaev and A. P. Stolboushkin, “Positive program logics in systems with arithmetic,” Kibernetika, No. 6, 29–32 (1984).Google Scholar
  5. 5.
    M. Presburger, “Uber die Vollständigkeit eines gewissen Systems der Arithmetik ganzer Zahlen, in welchem die Addition als einzige Operation hervortritt,” in: Comptes Rendus du I Congres des Mathematicies des Pays Slaves, Warsaw (1929), pp. 92–101.Google Scholar
  6. 6.
    A. V. Aho and J. D. Ullman, Theory of Parsing, Translation and Compiling, Vol. 1, Prentice-Hall (1972).Google Scholar

Copyright information

© Plenum Publishing Corporation 1987

Authors and Affiliations

  • I. Kh. Musikaev

There are no affiliations available

Personalised recommendations