DECIDABILITY OF THEORIES IN LOGICS WITH GENERALIZED QUANTIFIERS

被引：0

|

作者：

HERRE, H

WOLTER, H

机构：

来源：

ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK | 1975年 / 21卷 / 03期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：229 / 246

页数：18

相关论文

共 50 条

[1] NEW AXIOMATIZATIONS FOR LOGICS WITH GENERALIZED QUANTIFIERS
HARNIK, V
MAKKAI, M
[J]. ISRAEL JOURNAL OF MATHEMATICS, 1979, 32 (2-3) : 257 - 281
[2] GENERALIZED ARCHIMEDEAN FIELDS AND LOGICS WITH MALITZ QUANTIFIERS
COWLES, J
[J]. FUNDAMENTA MATHEMATICAE, 1981, 112 (01) : 45 - 59
[3] 2ND ORDER LOGIC, GENERALIZED QUANTIFIERS AND DECIDABILITY
SEESE, DG
[J]. BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1977, 25 (08): : 725 - 732
[4] Fixed-point logics, generalized quantifiers, and oracles
Imhof, H
[J]. JOURNAL OF LOGIC AND COMPUTATION, 1997, 7 (03) : 405 - 425
[5] SOME OBSERVATIONS ABOUT GENERALIZED QUANTIFIERS IN LOGICS OF IMPERFECT INFORMATION
Barbero, Fausto
[J]. REVIEW OF SYMBOLIC LOGIC, 2019, 12 (03): : 456 - 486
[6] DECIDABILITY AND DEFINABILITY IN SOME THEORIES OF GENERALIZED ARITHMETIC WITH REFLECTION
BENNETT, JH
[J]. JOURNAL OF SYMBOLIC LOGIC, 1966, 31 (04) : 692 - &
[7] From Non-punctuality to Non-adjacency: A Quest for Decidability of Timed Temporal Logics with Quantifiers
Krishna, Shankara Narayanan
Madnani, Khushraj
Mazo, Manuel, Jr.
Pandya, Paritosh
[J]. FORMAL ASPECTS OF COMPUTING, 2023, 35 (02)
[8] MACHINES, LOGICS AND DECIDABILITY
WASILEWSKA, A
[J]. JOURNAL OF SYMBOLIC LOGIC, 1977, 42 (03) : 475 - 476
[9] DECIDABILITY PROBLEMS IN LANGUAGES WITH HENKIN QUANTIFIERS
KRYNICKI, M
MOSTOWSKI, M
[J]. ANNALS OF PURE AND APPLIED LOGIC, 1992, 58 (02) : 149 - 172
[10] Probabilization of Logics: Completeness and Decidability
Pedro Baltazar
[J]. Logica Universalis, 2013, 7 (4) : 403 - 440

← 1 2 3 4 5 →