In this paper, we review three influential theories of imagination in order to understand how the dynamics of imagination acts could be modeled using formal languages. While reviewing them, we notice that they are not detailed enough to account for all the mechanisms involved in creating and developing imaginary worlds. We claim those theories could be further refined into what we call the Common Frame for Imagination Acts, which defines a framework that can be used to study the dynamics of imagination using formal languages, and we support our claim by showing how the framework allows to model certain imagination acts step by step. Then, we introduce the Rhombus of Imagination, which is a visual tool that can be used in conjunction with our framework to study the procedural structure of different kinds of imagination acts and identify their dynamic properties.

中文翻译：

---

形式想象的通用框架

在本文中，我们回顾了三种有影响力的想象理论，以了解如何使用形式语言对想象行为的动态进行建模。在审查它们时，我们注意到它们不够详细，无法解释创建和发展想象世界所涉及的所有机制。我们声称这些理论可以进一步细化为我们所谓的想象行为通用框架，它定义了一个框架，可用于使用形式语言研究想象的动态，我们通过展示该框架如何允许建模来支持我们的主张一定的想象力一步一步发挥作用。然后，我们介绍一下想象的菱形，