On the Decidability of Propositional Algorithmic Logic

This publication has 5 references indexed in Scilit:

• Propositional dynamic logic of regular programs
  Journal of Computer and System Sciences, 1979
• On axiomatization of deterministic propositional dynamic logic
  Lecture Notes in Computer Science, 1979
• Computability and completeness in logics of programs (Preliminary Report)
  Published by Association for Computing Machinery (ACM) ,1977
• Semantical consideration on floyo-hoare logic
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1976
• Effectivity problems of algorithmic logic
  Published by Springer Nature ,1974