paperbot · PL 论文追踪

全部论文 待读 收藏

P2 First-order logic with counting

带计数的一阶逻辑
LICS 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)2017匹配度 1/10 · 该论文属于有限模型论/描述复杂性方向的纯逻辑研究，提出带计数与数值谓词的一阶逻辑泛化，未涉及程序分析、静态分析、LLM/Agent、浮点分析或贝叶斯程序分析，与研究画像的核心问题基本无关。引用 39 inbox
Dietrich Kuske, Nicole Schweikardt
逻辑与自动机
crossref: 2026-09-12dblp: 2026-09-12arxiv: 2026-09-12

AI 速览

一句话：提出 FOCN(ℙ)，用计数与数值谓词统一泛化多种已有计数逻辑。

论文针对文献中多种计数逻辑缺乏统一框架的问题，引入逻辑 FOCN(ℙ)。该逻辑在经典一阶逻辑基础上加入计数能力，并允许使用来自给定集合 ℙ 的数值谓词，从而把若干已有的计数逻辑视为其特例。作者将 FOCN(ℙ) 定位为这些计数逻辑的自然推广，并给出其逻辑定义与泛化关系。摘要主要聚焦于新逻辑的提出和统一视角，未报告具体定理、复杂度结果或实验评估；其贡献在于提供一种更一般的计数一阶逻辑框架，便于后续比较不同计数逻辑的表达力与性质。

问题
如何为文献中多种计数逻辑提供统一、自然的逻辑框架。
方法
定义 FOCN(ℙ)：在一阶逻辑上加入计数，并使用集合 ℙ 中的数值谓词。
评估
摘要未给出具体评估；工作以逻辑定义和与已有计数逻辑的泛化关系说明为主。
原文摘要（Abstract）

We introduce the logic FOCN(ℙ) which extends first-order logic by counting and by numerical predicates from a set ℙ, and which can be viewed as a natural generalisation of various counting logics that have been studied in the literature.

链接与引用

DOI 原文 · arXiv · DBLP

BibTeX 
@inproceedings{KuskeS17,
  title = {First-order logic with counting},
  author = {Dietrich Kuske and Nicole Schweikardt},
  booktitle = {LICS},
  year = {2017},
  doi = {10.1109/lics.2017.8005133}
}