COMPLETE PROBLEMS FOR FIXED-POINT LOGICS

被引：9
|
作者：
GROHE, M
机构：
来源：
JOURNAL OF SYMBOLIC LOGIC | 1995年 / 60卷 / 02期
关键词：
D O I：
10.2307/2275847
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：517 / 527
页数：11
相关论文
共 50 条
  • [1] Fixed-Point Logics and Solitaire Games
    Dietmar Berwanger
    Erich Grädel
    [J]. Theory of Computing Systems, 2004, 37 : 675 - 694
  • [2] Fixed-point logics on planar graphs
    Grohe, M
    [J]. THIRTEENTH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1998, : 6 - 15
  • [3] Fixed-point logics with nondeterministic choice
    Dawar, A
    Richerby, D
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2003, 13 (04) : 503 - 530
  • [4] On Symmetric Circuits and Fixed-Point Logics
    Anderson, Matthew
    Dawar, Anuj
    [J]. 31ST INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2014), 2014, 25 : 41 - 52
  • [5] On Symmetric Circuits and Fixed-Point Logics
    Anderson, Matthew
    Dawar, Anuj
    [J]. THEORY OF COMPUTING SYSTEMS, 2017, 60 (03) : 521 - 551
  • [6] On Symmetric Circuits and Fixed-Point Logics
    Matthew Anderson
    Anuj Dawar
    [J]. Theory of Computing Systems, 2017, 60 : 521 - 551
  • [7] Modal logics with fixed-point property
    Sacchetti, L
    [J]. BOLLETTINO DELLA UNIONE MATEMATICA ITALIANA, 1999, 2B (02): : 279 - 290
  • [8] SUPERVALUATION FIXED-POINT LOGICS OF TRUTH
    Philip Kremer
    Alasdair Urquhart
    [J]. Journal of Philosophical Logic, 2008, 37 : 407 - 440
  • [9] Fixed-point logics and solitaire games
    Berwanger, D
    Grädel, E
    [J]. THEORY OF COMPUTING SYSTEMS, 2004, 37 (06) : 675 - 694
  • [10] Fixed-point logics, generalized quantifiers, and oracles
    Imhof, H
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 1997, 7 (03) : 405 - 425
12345