Imagining is something we use everyday in our lives and in a wide variety of ways. In spite of the amount of works devoted to its study from both psychology and philosophy, there are only a few formal systems capable of modelling it; besides, almost all of those systems are static, in the sense that their models are initially predefined, and they fail to capture the dynamic process behind the creation of new imaginary scenarios. In this work, we review some influential theories of imagination and use their insights to distil an algorithm describing such process. Then, we use this algorithm to define a dynamic logical system built upon on a single-agent epistemic logic that provides the necessary tools to capture how the agent voluntarily creates new imaginary worlds; in other words, our system allows the model to be expanded dynamically at any time as a result of the agent performing an act of imagination. Furthermore, we provide an axiomatization and prove that the system is sound and complete.

中文翻译：

---

假想逻辑

想象是我们每天在生活中以多种方式使用的东西。尽管从心理学和哲学上投入了大量的研究工作，但只有少数正式的系统可以对其进行建模。此外，从最初对它们的模型进行了预定义的意义上讲，几乎所有这些系统都是静态的，它们无法捕捉创建新的虚拟场景背后的动态过程。在这项工作中，我们回顾了一些有影响力的想象理论，并利用他们的见解来描述这种过程的算法。然后，我们使用此算法定义基于单代理认知逻辑的动态逻辑系统，该系统提供必要的工具来捕获代理如何自动创建新的虚构世界。换一种说法，我们的系统允许由于代理执行想象行为而随时动态扩展模型。此外，我们提供了一个公理化，并证明了该系统是完善且完整的。