Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]
Primary LanguageCoqOtherNOASSERTION