Barwise: Infinitary logic and admissible sets

被引：8
|
作者：
Keisler, HJ
Knight, JF
机构：
[1] Univ Wisconsin, Dept Math, Madison, WI 53706 USA
[2] Univ Notre Dame, Dept Math, Notre Dame, IN 46556 USA
来源：
BULLETIN OF SYMBOLIC LOGIC | 2004年 / 10卷 / 01期
关键词：
D O I：
10.2178/bsl/1080330272
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
[No abstract available]
引用
收藏
页码：4 / 36
页数：33
相关论文
共 50 条
  • [31] COMPLETENESS THEOREM FOR INFINITARY LOGIC
    MANSFIELD, R
    JOURNAL OF SYMBOLIC LOGIC, 1971, 36 (04) : 709 - +
  • [32] Infinitary Action Logic with Multiplexing
    Kuznetsov, Stepan L.
    Speranski, Stanislav O.
    STUDIA LOGICA, 2023, 111 (02) : 251 - 280
  • [33] Infinitary equilibrium logic and strongly equivalent logic programs
    Harrison, Amelia
    Lifschitz, Vladimir
    Pearce, David
    Valverde, Agustin
    ARTIFICIAL INTELLIGENCE, 2017, 246 : 22 - 33
  • [34] On infinitary rational relations and Borel sets
    Finkel, O
    DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE, PROCEEDINGS, 2003, 2731 : 155 - 167
  • [35] On Σ-definability of admissible sets
    Morozov, AS
    LOGIC COLLOQUIM '98, 2000, 13 : 334 - 351
  • [36] Admissible digit sets
    Hughes, J
    Niqui, M
    THEORETICAL COMPUTER SCIENCE, 2006, 351 (01) : 61 - 73
  • [37] DETERMINED ADMISSIBLE SETS
    Aguilera, J. P.
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 2020, 148 (05) : 2217 - 2231
  • [38] ADMISSIBLE SETS OF SEMIGROUPS
    刘士
    沈进
    何勇
    湘潭师范学院学报(社会科学版), 1999, (03) : 40 - 42
  • [39] An infinitary encoding of temporal equilibrium logic
    Cabalar, Pedro
    Dieguez, Martin
    Vidal, Concepcion
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2015, 15 : 666 - 680
  • [40] On the Proof Theory of Infinitary Modal Logic
    Matteo Tesi
    Studia Logica, 2022, 110 : 1349 - 1380
12345