Fellin, et al.. Modal Logic for Induction. 2020.