Spectra of formulae with Henkin quantifiers

被引：0
|
作者：
Golinska, J [1 ]
Zdanowski, K [1 ]
机构：
[1] Univ Warsaw, Inst Philosophy, PL-00325 Warsaw, Poland
来源：
PHILOSOPHICAL DIMENSIONS OF LOGIC AND SCIENCE | 2003年 / 320卷
关键词：
D O I：
暂无
中图分类号：
N09 [自然科学史]; B [哲学、宗教];
学科分类号：
01 ; 0101 ; 010108 ; 060207 ; 060305 ; 0712 ;
摘要：
引用
收藏
页码：29 / 45
页数：17
相关论文
共 50 条
  • [1] Henkin quantifiers and Boolean formulae: A certification perspective of DQBF
    Balabanov, Valeriy
    Chiang, Hui-Ju Katherine
    Jiang, Jie-Hong R.
    [J]. THEORETICAL COMPUTER SCIENCE, 2014, 523 : 86 - 100
  • [2] HENKIN AND FUNCTION QUANTIFIERS
    KRYNICKI, M
    VAANANEN, J
    [J]. ANNALS OF PURE AND APPLIED LOGIC, 1989, 43 (03) : 273 - 292
  • [3] Henkin quantifiers and the definability of truth
    Hyttinen, T
    Sandu, G
    [J]. JOURNAL OF PHILOSOPHICAL LOGIC, 2000, 29 (05) : 507 - 527
  • [4] Henkin Quantifiers and the Definability of Truth
    Tapani Hyttinen
    Gabriel Sandu
    [J]. Journal of Philosophical Logic, 2000, 29 : 507 - 527
  • [5] SOME APPLICATIONS OF HENKIN QUANTIFIERS
    BARWISE, J
    [J]. ISRAEL JOURNAL OF MATHEMATICS, 1976, 25 (1-2) : 47 - 63
  • [6] HENKIN QUANTIFIERS AND COMPLETE PROBLEMS
    BLASS, A
    GUREVICH, Y
    [J]. ANNALS OF PURE AND APPLIED LOGIC, 1986, 32 (01) : 1 - 16
  • [7] DECIDABILITY PROBLEMS IN LANGUAGES WITH HENKIN QUANTIFIERS
    KRYNICKI, M
    MOSTOWSKI, M
    [J]. ANNALS OF PURE AND APPLIED LOGIC, 1992, 58 (02) : 149 - 172
  • [8] Towards a proof theory for Henkin quantifiers
    Baaz, Matthias
    Lolic, Anela
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2021, 31 (01) : 40 - 66
  • [9] HENKIN QUANTIFIERS: LOGIC, GAMES, AND COMPUTATION
    Gurevich, Yuri
    Sevenster, Merlijn
    [J]. BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, 2006, (89): : 136 - 155
  • [10] A Globally Sound Analytic Calculus for Henkin Quantifiers
    Baaz, Matthias
    Lolic, Anela
    [J]. LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS 2020), 2020, 11972 : 128 - 143
12345