Title: Automated proof search in non-classicallogics
Subjects: Intuitionistic mathematics, Modality (Logic), Proof theory