论文标题
多组混合模态语言
Many-Sorted Hybrid Modal Languages
论文作者
论文摘要
我们继续研究混合多核多组逻辑，重点是与重编语语言的操作和公理语义有关，以及与一阶逻辑的关系。我们确定了完整逻辑的片段，为此我们证明了声音和完整的推论，我们证明它足够强大，可以以统一的方式表示程序及其语义。尽管比以前开发的其他混合系统弱，但该系统有望具有更好的计算属性。最后，我们提供了从完整混合多组逻辑到一阶逻辑的标准翻译。
We continue our investigation into hybrid polyadic multi-sorted logic with a focus on expresivity related to the operational and axiomatic semantics of rogramming languages, and relations with first-order logic. We identify a fragment of the full logic, for which we prove sound and complete deduction and we show that it is powerful enough to represent both the programs and their semantics in an uniform way. Although weaker than other hybrid systems previously developed, this system is expected to have better computational properties. Finally, we provide a standard translation from full hybrid many-sorted logic to first-order logic.
