Rank Logic Is Dead, Long Live Rank Logic!
Grädel, Erich (Corresponding author); Pakusa, Wied (Corresponding author)
Cambridge / Cambridge Univ. Press (2019) [Journal Article]
The journal of symbolic logic
Volume: 84
Issue: 1
Page(s): 54-87
Identifier
- DOI: 10.1017/jsl.2018.33
- REPORT NUMBER: RWTH-2019-02878