First-order logic with counting
First-order logic with counting
复制标题
DOI：
10.1109/lics.2017.8005133
复制
发表时间：
2017-03
期刊：
影响因子：
--
通讯作者：
D. Kuske;Nicole Schweikardt
中科院分区：
文献类型：
--
作者：
D. Kuske;Nicole Schweikardt
我们引入了逻辑FOCN()，它通过计数和从一个集合的数值谓词扩展了一阶逻辑，并且可以看作是文献中研究过的各种计数逻辑的自然推广。
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.