Quantified Reflection Calculus with One Modality.

Ana de Almeida Borges, Joost J. Joosten

Browse the full AiML paper archive.