Reasoning about Action and Change. A Dynamic Logic Approach

Helmut Prendinger, Gerhard Schurz. Reasoning about Action and Change. A Dynamic Logic Approach. Journal of Logic, Language and Information, 5(2):209-245, 1996.

Abstract

Abstract is missing.