FOUNDATIONS WITHOUT FOUNDATIONALISM - A CASE FOR SECOND-ORDER LOGIC - SHAPIRO,S

被引：0
|
作者：
SHER, G
机构：
来源：
PHILOSOPHICAL REVIEW | 1994年 / 103卷 / 01期
关键词：
D O I：
10.2307/2185879
中图分类号：
B [哲学、宗教];
学科分类号：
01 ; 0101 ;
摘要：
引用
收藏
页码：150 / 153
页数：4
相关论文
共 50 条
  • [21] Second-order Propositional Announcement Logic
    Belardinelli, Francesco
    van Ditmarsch, Hans
    van der Hoek, Wiebe
    AAMAS'16: PROCEEDINGS OF THE 2016 INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS & MULTIAGENT SYSTEMS, 2016, : 635 - 643
  • [22] Quantitative Monadic Second-Order Logic
    Kreutzer, Stephan
    Riveros, Cristian
    2013 28TH ANNUAL IEEE/ACM SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2013, : 113 - 122
  • [23] Categoricity and Consistency in Second-Order Logic
    Vaananen, Jouko
    INQUIRY-AN INTERDISCIPLINARY JOURNAL OF PHILOSOPHY, 2015, 58 (01): : 20 - 27
  • [24] Second-Order Quantified Boolean Logic
    Jiang, Jie-Hong R.
    THIRTY-SEVENTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 37 NO 4, 2023, : 4007 - 4015
  • [25] Second-order Logic and the Power Set
    Brauer, Ethan
    JOURNAL OF PHILOSOPHICAL LOGIC, 2018, 47 (01) : 123 - 142
  • [26] Extensionalizing Intensional Second-Order Logic
    Payne, Jonathan
    NOTRE DAME JOURNAL OF FORMAL LOGIC, 2015, 56 (01) : 243 - 261
  • [27] Arity and alternation in second-order logic
    Makowsky, JA
    Pnueli, YB
    ANNALS OF PURE AND APPLIED LOGIC, 1996, 78 (1-3) : 189 - 202
  • [28] Computability by monadic second-order logic
    Engelfriet, Joost
    INFORMATION PROCESSING LETTERS, 2021, 167
  • [29] Fragments of existential second-order logic without 0-1 laws
    Le Bars, JM
    THIRTEENTH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1998, : 525 - 536
  • [30] 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
12345