逻辑中博弈的战略平衡
逻辑
2023-03-23 v2
摘要
真值、一致性与初等等价均可借助博弈来刻画，即所谓的求值博弈、模型存在博弈与 Ehrenfeucht-Fraisse 博弈。我们指出这些博弈彼此间具有极大的亲和性，并将此现象称为逻辑中的战略平衡。特别地，我们给出了从一个博弈到另一个博弈的策略的显式翻译。
引用
@article{arxiv.2212.01658,
title = {The Strategic Balance of Games in Logic},
author = {Jouko Väänänen},
journal= {arXiv preprint arXiv:2212.01658},
year = {2023}
}