Propositional logics of programs: New directions

This publication has 11 references indexed in Scilit:

• A decision procedure for the propositional μ-calculus
  Published by Springer Nature ,1984
• Trees, automata, and games
  Published by Association for Computing Machinery (ACM) ,1982
• Results on the propositional μ-calculus
  Published by Springer Nature ,1982
• An elementary proof of the completeness of PDL
  Theoretical Computer Science, 1981
• Propositional Dynamic Logic of looping and converse
  Published by Association for Computing Machinery (ACM) ,1981
• Propositional dynamic logics of programs: A survey
  Lecture Notes in Computer Science, 1981
• Alternation
  Journal of the ACM, 1981
• Propositional dynamic logic of regular programs
  Journal of Computer and System Sciences, 1979
• The completeness of propositional dynamic logic
  Published by Springer Nature ,1978
• An application of games to the completeness problem for formalized theories
  Fundamenta Mathematicae, 1960