HENKIN QUANTIFIERS AND COMPLETE PROBLEMS

被引：36
|
作者：
BLASS, A [1 ]
GUREVICH, Y [1 ]
机构：
[1] UNIV MICHIGAN,DEPT ELECT ENGN & COMP SCI,ANN ARBOR,MI 48109
来源：
ANNALS OF PURE AND APPLIED LOGIC | 1986年 / 32卷 / 01期
关键词：
D O I：
10.1016/0168-0072(86)90040-0
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
引用
收藏
页码：1 / 16
页数：16
相关论文
共 50 条
  • [1] DECIDABILITY PROBLEMS IN LANGUAGES WITH HENKIN QUANTIFIERS
    KRYNICKI, M
    MOSTOWSKI, M
    [J]. ANNALS OF PURE AND APPLIED LOGIC, 1992, 58 (02) : 149 - 172
  • [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] Spectra of formulae with Henkin quantifiers
    Golinska, J
    Zdanowski, K
    [J]. PHILOSOPHICAL DIMENSIONS OF LOGIC AND SCIENCE, 2003, 320 : 29 - 45
  • [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