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 条
  • [41] A NOTE ON CHOICE PRINCIPLES IN SECOND-ORDER LOGIC
    Siskind, B. E. N. J. A. M. I. N.
    Mancosu, P. A. O. L. O.
    Shapiro, S. T. E. W. A. R. T.
    REVIEW OF SYMBOLIC LOGIC, 2023, 16 (02): : 339 - 350
  • [42] On the Parameterised Intractability of Monadic Second-Order Logic
    Kreutzer, Stephan
    COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2009, 5771 : 348 - 363
  • [43] Second-Order Equational Logic (Extended Abstract)
    Fiore, Marcelo
    Hur, Chung-Kil
    COMPUTER SCIENCE LOGIC, 2010, 6247 : 320 - +
  • [44] INTERPRETATIONS BETWEEN ω-LOGIC AND SECOND-ORDER ARITHMETIC
    Kaye, Richard
    JOURNAL OF SYMBOLIC LOGIC, 2014, 79 (03) : 845 - 858
  • [45] Second-order Science: Logic, Strategies, Methods
    Umpleby, Stuart A.
    CONSTRUCTIVIST FOUNDATIONS, 2014, 10 (01): : 16 - 23
  • [46] On damped second-order gradient systems (vol 259, pg 3115, 2015)
    Begout, Pascal
    Bolte, Jerome
    Jendoubi, Mohamed Ali
    JOURNAL OF DIFFERENTIAL EQUATIONS, 2015, 259 (08) : 4412 - 4412
  • [47] Second-order reconstruction of the inflationary potential (vol 50, pg 758, 1994)
    Liddle, AR
    Turner, MS
    PHYSICAL REVIEW D, 1996, 54 (04): : 2980 - 2980
  • [48] Second-order constitutive theory of fluids (vol 34, pg 185, 2022)
    Paolucci, S.
    CONTINUUM MECHANICS AND THERMODYNAMICS, 2023, 35 (01) : 343 - 345
  • [49] The negative wake in a second-order fluid (vol 57, pg 313, 1995)
    Joseph, DD
    Feng, J
    JOURNAL OF NON-NEWTONIAN FLUID MECHANICS, 1996, 63 (2-3) : 263 - 263
  • [50] Second-order approach to local influence (vol 55, pg 929, 1993)
    Wu, XZ
    Luo, Z
    JOURNAL OF THE ROYAL STATISTICAL SOCIETY SERIES B-STATISTICAL METHODOLOGY, 1999, 61 : 990 - 990
12345