Y. Gurevich: The Logic in Computer Science Column Generalized Quantifiers

被引：0
|
作者：
Vaeaenaenen, J.
机构：
来源：
Bulletin of the European Association for Theoretical Computer Science | / 62期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [11] GENERALIZED QUANTIFIERS AND COMPACT LOGIC
    SHELAH, S
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1975, 204 (APR) : 342 - 364
  • [12] Modular logic programming and generalized quantifiers
    Eiter, T
    Gottlob, G
    Veith, H
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 1997, 1265 : 289 - 308
  • [13] Generalized Quantifiers and Fisrt order logic
    Frigerio, Aldo
    EPISTEMOLOGIA, 2007, 30 (02): : 211 - 233
  • [14] Dependence logic with generalized quantifiers: Axiomatizations
    Engstrom, Fredrik
    Kontinen, Juha
    Vaananen, Jouko
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2017, 88 : 90 - 102
  • [15] Generalized quantifiers and first order logic - II
    Frigerio, Aldo
    EPISTEMOLOGIA, 2008, 31 (01): : 3 - 26
  • [16] 2ND ORDER LOGIC, GENERALIZED QUANTIFIERS AND DECIDABILITY
    SEESE, DG
    BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1977, 25 (08): : 725 - 732
  • [17] The extraction of linguistic knowledge using fuzzy logic and generalized quantifiers
    Dvorák, A
    Novák, V
    COMPUTATIONAL INTELLIGENT SYSTEMS FOR APPLIED RESEARCH, 2002, : 113 - 120
  • [18] DETERMINABILITY OF ARITHMETIC WITH ADDITION AND ORDER IN LOGIC USING GENERALIZED QUANTIFIERS
    WOLTER, H
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1975, 21 (04): : 321 - 330
  • [19] 1ST ORDER PREDICATE LOGIC WITH GENERALIZED QUANTIFIERS
    LINDSTROM, P
    THEORIA, 1966, 32 : 186 - 195
  • [20] LOGIC IN COMPUTER SCIENCE
    Serna, Edgar M.
    REVISTA EDUCACION EN INGENIERIA, 2013, 8 (15): : 62 - 68
12345