Modal Dependence Logic
Modal Dependence Logic
复制标题
模态依赖逻辑
DOI：
--
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
J. Väänänen
中科院分区：
文献类型：
--
作者：
J. Väänänen
我们引入一种涉及依赖概念的模态语言。我们为语言语义给出了两种博弈论定义和一种归纳定义，并证明了这三种定义的等价性。
We introduce a modal language which involves the concept of dependence. We give two game-theoretic definitions for the semantics of the language, and one inductive, and prove the equivalence of all three.