CARDINALITY OF MODELS FOR THEORIES IN A CALCULUS WITH A HARTIG QUANTIFIER

被引：0

|

作者：

PINUS, AG

机构：

来源：

SIBERIAN MATHEMATICAL JOURNAL | 1978年 / 19卷 / 06期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：949 / 955

页数：7

相关论文

共 50 条

[31] A Subclass of Mu-Calculus with the Freeze Quantifier Equivalent to Register Automata
Takata, Yoshiaki
Onishi, Akira
Senda, Ryoma
Seki, Hiroyuki
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2023, E106D (03) : 294 - 302
[32] MONADIC FRAGMENT OF PREDICATE CALCULUS WITH EQUI-CARDINAL QUANTIFIER AND EQUALITY
SLOMSON, AB
JOURNAL OF SYMBOLIC LOGIC, 1968, 33 (03) : 495 - &
[33] Quantifier-elimination for the first-order theory of Boolean algebras with linear cardinality constraints
Revesz, P
ADVANCES IN DATABASES AND INFORMATION SYSTEMS, PROCEEDINGS, 2004, 3255 : 1 - 21
[34] Quantifier-Free Interpolation in Combinations of Equality Interpolating Theories
Bruttomesso, Roberto
Ghilardi, Silvio
Ranise, Silvio
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2014, 15 (01)
[35] Covariant calculus for effective string theories
Dass, N. D. Hari
Matlock, Peter
INDIAN JOURNAL OF PHYSICS, 2014, 88 (09) : 965 - 977
[36] The sensible graph theories of Lambda calculus
Bucciarelli, A
Salibra, A
19TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2004, : 276 - 285
[37] Unfixing the fixpoint: The theories of the λy -calculus
1600, Springer Verlag (7860 LNCS):
[38] (De)composition of situation calculus theories
Amir, E
SEVENTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-2001) / TWELFTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE (IAAI-2000), 2000, : 456 - 463
[39] Covariant calculus for effective string theories
N D Hari Dass
Indian Journal of Physics, 2014, 88 : 965 - 977
[40] AUTOMORPHISMS OF MODELS WITH CARDINALITY COFINAL WITH OMEGA
KUEKER, DW
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1973, 20 (04): : A450 - A450

← 1 2 3 4 5 →