You are about to access our book library "Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems (The MIT Press) full version" .