A Proof-Checker for Dynamic Logic

Steven D. Litvintchouk, Vaughan R. Pratt. A Proof-Checker for Dynamic Logic. In IJCAI. pages 552-558, 1977.

Abstract

Abstract is missing.