On axiomatization of deterministic propositional dynamic logic

This publication has 6 references indexed in Scilit:

• A practical decision method for propositional dynamic logic (Preliminary Report)
  Published by Association for Computing Machinery (ACM) ,1978
• The completeness of propositional dynamic logic
  Published by Springer Nature ,1978
• Propositional modal logic of programs
  Published by Association for Computing Machinery (ACM) ,1977
• Semantical consideration on floyo-hoare logic
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1976
• An algebraic system for process structuring and interprocess communication
  Published by Association for Computing Machinery (ACM) ,1976
• Automata theory and formal microprogram transformations
  Cybernetics and Systems Analysis, 1966