Modal Logic for Induction

Giulio Fellin, Sara Negri, Peter Schuster. Modal Logic for Induction. In Nicola Olivetti, Rineke Verbrugge, Sara Negri, Gabriel Sandu, editors, 13th Conference on Advances in Modal Logic, AiML 2020, Helsinki, Finland, August 24-28, 2020. pages 209-227, College Publications, 2020.

Abstract

Abstract is missing.