Bounded Variable Logics and Counting
Bounded Variable Logics and Counting
复制标题
有界变量逻辑和计数
DOI：
10.1007/978-3-662-21676-7
复制
发表时间：
1997
期刊：
影响因子：
--
通讯作者：
M. Otto
中科院分区：
文献类型：
--
作者：
M. Otto
自成立以来，《逻辑观点》和《逻辑讲义》系列出版了领先逻辑学家的开创性著作。该系列中的许多原版书籍多年来一直无法获得，但现在又重新出版了。在这卷，第九次出版的讲义在逻辑系列，马丁奥托介绍了有限模型理论，指出了主要思想和调查线，激励研究在这一领域。特别注意有界变量无穷逻辑，有和没有计数量词，相关的不动点逻辑，以及相应的片段的Ptime。与Ptime的关系展示了逻辑思想与复杂性理论思想之间富有成效的交流，复杂性理论是有限模型理论的特征。
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the ninth publication in the Lecture Notes in Logic series, Martin Otto gives an introduction to finite model theory that indicates the main ideas and lines of inquiry that motivate research in this area. Particular attention is paid to bounded variable infinitary logics, with and without counting quantifiers, related fixed-point logics, and the corresponding fragments of Ptime. The relations with Ptime exhibit the fruitful exchange between ideas from logic and from complexity theory that is characteristic of finite model theory.