Rohit Parikh. Propositional Logics of Programs: Systems, Models, and Complexity. In POPL. pages 186-192, 1980.
@inproceedings{Parikh80, title = {Propositional Logics of Programs: Systems, Models, and Complexity}, author = {Rohit Parikh}, year = {1980}, tags = {logic programming, logic}, researchr = {https://researchr.org/publication/Parikh80}, cites = {0}, citedby = {0}, pages = {186-192}, booktitle = {POPL}, }