模态逻辑和微积分的公式大小游戏
@第{Hella2019FormulaSG条, title={模态逻辑和$\mu$-演算的公式大小游戏}, author={Lauri Hella和Miikka Vilander}, 日志={J.Log.Comput.}, 年份={2019}, 体积={29}, 页码={1311-1344}, 网址={ https://api.semanticscholar.org/CorpusID:209405278 } }
13引文
模态Mu-Calculus和一些变体的有界博弈论语义
2020
如果有某种形式的双简化,则模态逻辑更简洁
2024
具有熵链接的一阶逻辑中一元结构的描述复杂性
2024
39参考文献
一阶逻辑对模态逻辑的简洁性——通过公式大小的博弈
2016
模态Mu-Calculus和一些变体的有界博弈论语义
2020
时间逻辑Ehrenfeucht-Fraíssé对策的Until层次结构及其他应用
2000
模态逻辑中公式大小的几个指数下界
2014