On four logics of programs and complexity of their satisfiability problems: extended abstract

@inproceedings{Chlebus1980OnFL,
  title={On four logics of programs and complexity of their satisfiability problems: extended abstract},
  author={Bogdan S. Chlebus},
  booktitle={Logic of Programs},
  year={1980}
}