On Expressive Power of Second Order Propositional Program Logics

@inproceedings{Shilov2007OnEP,
  title={On Expressive Power of Second Order Propositional Program Logics},
  author={Nikolay V. Shilov},
  year={2007}
}
(extended abstract of a short talk) Abstract We examine expressive power of second order propositional program logics: logic 2M of C. Stirling and a new Second Order Elementary Propo-sitional Dynamic Logic (SOEPDL). We demonstrate that SOEPDL is more expressive than 2M, and them both are more expressive than the propositional-Calculus of D. Kozen (C). We… CONTINUE READING