Building Decision Procedures for Modal Logics from Propositional Decision Procedure - The Case Study of Modal K.

Fausto Giunchiglia, Roberto Sebastiani

Browse the full CADE paper archive.