团队语义中的包含与排除依赖：关于不完全信息的一些逻辑
逻辑
2011-06-14 v2
摘要
我们通过在一阶逻辑语言中添加对应于包含依赖和排除依赖的原子公式，引入了一些新的不完全信息逻辑。随后研究了这些逻辑的性质及其与其他不完全信息逻辑的关系。此外，为这些逻辑发展了一种博弈论语义。作为这些结果的推论，我们刻画了独立性逻辑的表达能力，从而回答了(Grädel和Väänänen, 2010)中提出的一个开放问题。
引用
@article{arxiv.1106.1323,
title = {Inclusion and Exclusion Dependencies in Team Semantics: On Some Logics of Imperfect Information},
author = {Pietro Galliani},
journal= {arXiv preprint arXiv:1106.1323},
year = {2011}
}