Joost J. Joosten. Quantified reflection calculus with one modality is decidable