Dynamic semantics of cognitive agent language

I propose a language of cognitive agents and its formal semantics by exploiting the idea of dynamic semantics. The language is an extension of first-order concurrent dynamic logic (CDL). In this semantics, the expressions of the language are interpreted as actions or state transitions of private viewpoint models (PVM), which are models of environments recognized by a cognitive agent, are based on ecological realism, and are modeled by a metaphor of cameras and camera works. The invariance of truth of motion independent of viewpoints, actions on viewpoint resettings and empathizing with other agents can also be treated with this language and semantics, which give us a formal basis of communications between cognitive agents on recognized contents and how to recognize them.