Automated Reasoning in Modal Logics

Handout (PDF) - presented in van Benthem's Modal Logic class at Stanford (5/02)

Otter input files (ASCII)

Paradox input files (ASCII) -- added 11/04 [makes MACE and MaGIC files obsolete]

MACE input files (ASCII)

MaGIC syntax files (ASCII)