The Model-Theoretic Expressiveness of Propositional Proof Systems
Grädel, Erich (Corresponding author); Pago, Benedikt (Corresponding author); Pakusa, Wied (Corresponding author)
Saarbrücken/Wadern, Germany / Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing (2017) [Contribution to a book, Contribution to a conference proceedings]
Computer Science Logic 2017 : CSL 2017, August 20-24, 2017, Stockholm, Sweden / edited by Valentin Goranko, Mads Dam ; European Association for Computer Science Logic (EACSL)
Page(s): 27:1-27:18
Identifier
- DOI: 10.4230/LIPIcs.CSL.2017.27
- REPORT NUMBER: RWTH-2020-09507