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 条
  • [1] Arity and alternation in second-order logic
    Makowsky, JA
    Pnueli, YB
    ANNALS OF PURE AND APPLIED LOGIC, 1996, 78 (1-3) : 189 - 202
  • [2] Second-order propositional modal logic and monadic alternation hierarchies
    Kuusisto, Antti
    ANNALS OF PURE AND APPLIED LOGIC, 2015, 166 (01) : 1 - 28
  • [3] Efficient iterations for Gauss methods on second-order problems (vol 189, pg 80, 2006)
    Gonzalez-Pinto, S.
    Perez-Rodriguez, S.
    Rojas Bello, R.
    JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS, 2007, 205 (01) : 583 - 583
  • [4] Pure Second-Order Logic with Second-Order Identity
    Paseau, Alexander
    NOTRE DAME JOURNAL OF FORMAL LOGIC, 2010, 51 (03) : 351 - 360
  • [5] Team Logic and Second-Order Logic
    Kontinen, Juha
    Nurmi, Ville
    LOGIC, LANGUAGE, INFORMATION AND COMPUTATION, 2009, 5514 : 230 - 241
  • [6] Team Logic and Second-Order Logic
    Kontinen, Juha
    Nurmi, Ville
    FUNDAMENTA INFORMATICAE, 2011, 106 (2-4) : 259 - 272
  • [7] A Defense of Second-Order Logic
    Bueno, Otavio
    AXIOMATHES, 2010, 20 (2-3): : 365 - 383
  • [8] A Defense of Second-Order Logic
    Otávio Bueno
    Axiomathes, 2010, 20 : 365 - 383
  • [9] SECOND-ORDER INTENSIONAL LOGIC
    CRESSWELL, MJ
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1972, 18 (04): : 297 - 320
  • [10] Second-Order Logic of Paradox
    Hazen, Allen P.
    Pelletier, Francis Jeffry
    NOTRE DAME JOURNAL OF FORMAL LOGIC, 2018, 59 (04) : 547 - 558
12345