Validity and Satisfaction in Imperative Logic

Krister Segerberg. Validity and Satisfaction in Imperative Logic. Notre Dame Journal of Formal Logic, 31(2):203-221, 1990.

Abstract

Abstract is missing.