A General-Purpose Forward Deduction Engine for Modal Logics.

Shinsuke Nara, Takashi Omi, Yuichi Goto, Jingde Cheng

Browse the full KES paper archive.