SOME APPLICATIONS OF HENKIN QUANTIFIERS

被引：18
|
作者：
BARWISE, J [1 ]
机构：
[1] UNIV WISCONSIN,MADISON,WI 53706
来源：
ISRAEL JOURNAL OF MATHEMATICS | 1976年 / 25卷 / 1-2期
关键词：
D O I：
10.1007/BF02756560
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：47 / 63
页数：17
相关论文
共 50 条
  • [1] HENKIN AND FUNCTION QUANTIFIERS
    KRYNICKI, M
    VAANANEN, J
    [J]. ANNALS OF PURE AND APPLIED LOGIC, 1989, 43 (03) : 273 - 292
  • [2] Henkin quantifiers and the definability of truth
    Hyttinen, T
    Sandu, G
    [J]. JOURNAL OF PHILOSOPHICAL LOGIC, 2000, 29 (05) : 507 - 527
  • [3] Henkin Quantifiers and the Definability of Truth
    Tapani Hyttinen
    Gabriel Sandu
    [J]. Journal of Philosophical Logic, 2000, 29 : 507 - 527
  • [4] HENKIN QUANTIFIERS AND COMPLETE PROBLEMS
    BLASS, A
    GUREVICH, Y
    [J]. ANNALS OF PURE AND APPLIED LOGIC, 1986, 32 (01) : 1 - 16
  • [5] Spectra of formulae with Henkin quantifiers
    Golinska, J
    Zdanowski, K
    [J]. PHILOSOPHICAL DIMENSIONS OF LOGIC AND SCIENCE, 2003, 320 : 29 - 45
  • [6] DECIDABILITY PROBLEMS IN LANGUAGES WITH HENKIN QUANTIFIERS
    KRYNICKI, M
    MOSTOWSKI, M
    [J]. ANNALS OF PURE AND APPLIED LOGIC, 1992, 58 (02) : 149 - 172
  • [7] Towards a proof theory for Henkin quantifiers
    Baaz, Matthias
    Lolic, Anela
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2021, 31 (01) : 40 - 66
  • [8] HENKIN QUANTIFIERS: LOGIC, GAMES, AND COMPUTATION
    Gurevich, Yuri
    Sevenster, Merlijn
    [J]. BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, 2006, (89): : 136 - 155
  • [9] A Globally Sound Analytic Calculus for Henkin Quantifiers
    Baaz, Matthias
    Lolic, Anela
    [J]. LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS 2020), 2020, 11972 : 128 - 143
  • [10] Degrees of logics with Henkin quantifiers in poor vocabularies
    Mostowski, M
    Zdanowski, K
    [J]. ARCHIVE FOR MATHEMATICAL LOGIC, 2004, 43 (05) : 691 - 702
12345