Resolution Method for Modal Logic with Well-Founded Frames.

Shigeki Hagihara, Naoki Yonezaki

Browse the full CSL paper archive.