![](/img/cover-not-exists.png)
Reasoning about Action and Change: A Dynamic Logic Approach
Helmut Prendinger and Gerhard SchurzVolume:
5
Language:
english
Journal:
Journal of Logic, Language, and Information
DOI:
10.2307/40180096
Date:
April, 1996
File:
PDF, 3.47 MB
english, 1996