Arity and alternation in second-order logic (vol 78, pg 189, 1996)

被引：0
|
作者：
Makowsky, JA
Pnueli, YB
机构：
来源：
ANNALS OF PURE AND APPLIED LOGIC | 1998年 / 92卷 / 02期
关键词：
D O I：
暂无
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
引用
收藏
页码：215 / 215
页数：1
相关论文
共 50 条
  • [21] Second-Order Logic and Set Theory
    Vaananen, Jouko
    PHILOSOPHY COMPASS, 2015, 10 (07): : 463 - 478
  • [22] Categoricity and Consistency in Second-Order Logic
    Vaananen, Jouko
    INQUIRY-AN INTERDISCIPLINARY JOURNAL OF PHILOSOPHY, 2015, 58 (01): : 20 - 27
  • [23] Second-Order Quantified Boolean Logic
    Jiang, Jie-Hong R.
    THIRTY-SEVENTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 37 NO 4, 2023, : 4007 - 4015
  • [24] Second-order Logic and the Power Set
    Brauer, Ethan
    JOURNAL OF PHILOSOPHICAL LOGIC, 2018, 47 (01) : 123 - 142
  • [25] Extensionalizing Intensional Second-Order Logic
    Payne, Jonathan
    NOTRE DAME JOURNAL OF FORMAL LOGIC, 2015, 56 (01) : 243 - 261
  • [26] Computability by monadic second-order logic
    Engelfriet, Joost
    INFORMATION PROCESSING LETTERS, 2021, 167
  • [27] Exact second-order estimates for the effective mechanical properties of nonlinear composite materials (vol 44, pg 827, 1996)
    Castaneda, P
    JOURNAL OF THE MECHANICS AND PHYSICS OF SOLIDS, 1997, 45 (02) : 317 - 317
  • [28] Second-order squeezed states (vol 55, pg 3051, 1997)
    Marian, P
    PHYSICAL REVIEW A, 1999, 59 (04): : 3141 - 3141
  • [29] Existential second-order logic over strings
    Eiter, T
    Gottlob, G
    Gurevich, Y
    THIRTEENTH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1998, : 16 - 27
  • [30] Entity Correspondence with Second-Order Markov Logic
    Xu, Ying
    Gao, Zhiqiang
    Wilson, Campbell
    Zhang, Zhizheng
    Zhu, Man
    Ji, Qiu
    WEB INFORMATION SYSTEMS ENGINEERING - WISE 2013, PT I, 2013, 8180 : 1 - 14
12345