Modal Logic for Induction.

Giulio Fellin, Sara Negri, Peter M. Schuster

Browse the full AiML paper archive.