小模型性质在博弈与自动机中的反映
计算机科学中的逻辑
2021-11-05 v1
摘要
小模型性质是蕴含可判定性的一个重要性质。我们表明，小模型尺寸与用于检查可证明性的博弈和自动机中的某些重要资源直接相关。
引用
@article{arxiv.2111.02998,
title = {Small model property reflects in games and automata},
author = {Maciej Zielenkiewicz},
journal= {arXiv preprint arXiv:2111.02998},
year = {2021}
}