框架有效性博弈与模态公理复杂度的下界
计算机科学中的逻辑
2018-08-16 v1
摘要
我们引入了专为推理定义给定框架性质的模态公式的大小、模态深度、符号出现次数以及不同命题变量个数而设计的框架等价博弈。利用这些博弈，我们证明了若干知名模态公理在上述度量上的下界；此外，对于其中部分公理，我们表明它们在定义相应框架类的公式中是最优的。
引用
@article{arxiv.1808.05051,
title = {Frame-validity games and lower bounds on the complexity of modal axioms},
author = {Philippe Balbiani and David Fernández-Duque and Andreas Herzig and Petar Iliev},
journal= {arXiv preprint arXiv:1808.05051},
year = {2018}
}