Keyword:quantified reflection calculus

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