克拉赫特定理到广义萨赫洛夫公式的推广
逻辑
2010-03-15 v1
摘要
萨赫洛夫公式是亨德里克·萨赫洛夫于1975年提出的一类句法上指定的模态公式。它们因其一阶可定义性和典范性而重要，因此可公理化完备的模态逻辑。由萨赫洛夫公式可定义的一阶性质在1993年由马库斯·克拉赫特进行了句法刻画。本文将克拉赫特定理推广到戈兰科和瓦卡雷洛夫引入的“广义萨赫洛夫公式”类，并描述了克拉赫特公式的一个适当推广。
引用
@article{arxiv.1003.2603,
title = {An extension of Kracht's theorem to generalized Sahlqvist formulas},
author = {Stanislav Kikot},
journal= {arXiv preprint arXiv:1003.2603},
year = {2010}
}