Modal Logic for Induction
(2020) : Giulio Fellin and Sara Negri and Peter Schuster
url: http://www.aiml.net/volumes/volume13/
#elementary_proofs #induction #modal_logic #proof_theory #sequent_calculus
#my_bibtex