Kracht定理在广义Sahlqvist公式上的推广
An extension of Kracht's theorem to generalized Sahlqvist formulas
摘要：
Sahlqvist公式是由Hendrik Sahlqvist在1975年提出的一类在语法上指定的模态公式。它们是重要的，因为它们的一阶可定义性和规范性，因此公理化完全模态逻辑。由Sahlqvist公式定义的一阶性质是由Marcus Kracht在1993年在语法上描述的。本文将Kracht定理推广到Goranko和Vakarelov提出的“广义Sahlqvist公式”类，并描述了Kracht公式的一个适当的推广.
英文摘要：
Sahlqvist formulas are a syntactically specified class of modal formulas proposed by Hendrik Sahlqvist in 1975. They are important because of their first-order definability and canonicity, and hence axiomatize complete modal logics. The first-order properties definable by Sahlqvist formulas were syntactically characterized by Marcus Kracht in 1993. The present paper extends Kracht's theorem to the class of `generalized Sahlqvist formulas' introduced by Goranko and Vakarelov and describes an appropriate generalization of Kracht formulas.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
