On the propositional algorithmic logic

  • Grazyna Mirkowska
Part of the Lecture Notes in Computer Science book series (LNCS, volume 74)


The aim of propositional algorithmic logic PAL is to investigate properties of program connectives and to develop tools useful in the practice of proving properties of program schemes. The tautologies of PAL become tautologies of algorithmic logic after replacing program variables by programs and propositional variables by formulas.


Propositional Variable Program Variable Program Scheme Propositional Formula Consequence Operation 
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.


  1. 1.
    Fisher, M., Ladner, R., Propositional dynamic logic of regular programs. Proc. 9th Ann. ACM Symp., Boulder, Colorado, 1977.Google Scholar
  2. 2.
    Grabowski, M., The set of tautologies of zero-order algorithmic logic is decidable, Bull.Acad.Pol.Sci. Ser.Math. 20 (1972), 575–582.Google Scholar
  3. 3.
    Mirkowska, G., On formalized systems of algorithmic logic, ibid. 19, (1971), 421–428.Google Scholar
  4. 4.
    Mirkowska, G., Algorithmic logic with nondeterministic programs, to appear in Fundamenta Informaticae.Google Scholar
  5. 5.
    Parikh, R., A completeness result for PDL, MFCS, september 1978.Google Scholar
  6. 6.
    Pratt, V.R., A practical decision method for propositional dynamic logic, Tenth ACM symposium on Theory of Computing, 1978.Google Scholar
  7. 7.
    Rasiowa, H., Sikorski, R., The mathematics of metamathematics, PWN, Warsaw 1963.Google Scholar
  8. 8.
    Segerberg, K., A completeness theorem in the modal logic of programs, Notices of the ACM, 24,6. A-552, 1977.Google Scholar
  9. 9.
    Yanov, J., On equivalence of operator schemes, Problems of Cybernetics 1, 1–100, 1959.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1979

Authors and Affiliations

  • Grazyna Mirkowska
    • 1
  1. 1.Institute of MathematicsUniversity of WarsawWarsawPoland

Personalised recommendations