Building Decision Procedures for Modal Logics from Propositional Decision Procedures: The Case Study of Modal K(m)

✍ Scribed by Fausto Giunchiglia; Roberto Sebastiani

• Book ID: 112252484
• Publisher: Elsevier Science
• Year: 2000
• Tongue: English
• Weight: 345 KB
• Volume: 162
• Category: Article
• ISSN: 0890-5401
• DOI: 10.1006/inco.1999.2850