Bounded Variable Logics and Counting: A Study in Finite Models
Bounded Variable Logics and Counting: A Study in Finite Models
复制标题
有界变量逻辑和计数：有限模型研究
DOI：
--
复制
发表时间：
1997
期刊：
影响因子：
--
通讯作者：
M. Otto
中科院分区：
文献类型：
--
作者：
M. Otto
O.介绍。1.定义和分类。2.游戏及其分析3.不变量。4.带计数的定点逻辑5.相关Lindstrom扩展。6.封圣问题7.两个变量的规范化。
O. Introduction.- 1. Definitions and Preliminaries.- 2. The Games and Their Analysis.- 3. The Invariants.- 4. Fixed-Point Logic with Counting.- 5. Related Lindstrom Extensions.- 6. Canonization Problems.- 7. Canonization for Two Variables.