不完全信息动态逻辑：从团队与博弈到迁移
逻辑
2017-01-03 v3
摘要
我们引入了一种用于不完全信息逻辑的新的语义形式化，它基于博弈逻辑（特别是基于 van Benthem、Ghosh 和 Lu 的并发动态博弈逻辑）。这种新型语义结合了博弈论语义和团队语义的特征，并展示了不完全信息逻辑如何被视为用于推理博弈的语言。最后我们表明，对于我们语言中一个极具表达力的片段，存在一种更简单的语义。
引用
@article{arxiv.1111.5143,
title = {Dynamic Logics of Imperfect Information: from Teams and Games to Transitions},
author = {Pietro Galliani},
journal= {arXiv preprint arXiv:1111.5143},
year = {2017}
}