论文标题
可解释性逻辑中的模态问题
Modal Matters in Interpretability Logics
论文作者
论文摘要
2008年的本文是关于可解释性逻辑和应用中模态方法的三篇相关论文系列中的第一本。在第一篇论文中，基础是以后的结果。这些基础包括对获得模态模型的构造方法的彻底处理。这种构造方法用于在可解释性领域中拒绝一些已知结果，例如逻辑$ {\ textbf {il}} $的模态完整性。接下来，将该方法应用于获得新的结果：逻辑$ {\ textbf {il}}} {\ sf m_0} $的模态完整性，以及$ {\ textbf {il}}}的模态完整性（{\ sf w^*}）$。
This paper from 2008 is the first in a series of three related papers on modal methods in interpretability logics and applications. In this first paper the foundations are laid for later results. These foundations consist of a thorough treatment of a construction method to obtain modal models. This construction method is used to reprove some known results in the area of interpretability like the modal completeness of the logic ${\textbf{IL}}$. Next, the method is applied to obtain new results: the modal completeness of the logic ${\textbf{IL}}{\sf M_0}$, and modal completeness of ${\textbf{IL}}({\sf W^*})$.
