A Lemma in the Logic of Action

@article{Suredonk1990ALI,
  title={A Lemma in the Logic of Action},
  author={Timothy J. Suredonk},
  journal={Notre Dame Journal of Formal Logic},
  year={1990},
  volume={31},
  pages={222-224}
}