Keyword:quantified reflection calculus

Papers
The Quantified Reflection Calculus as a Modal Logic Ana de Almeida Borges and Joost J. Joosten EasyChair Preprint no. 8634