Developing Modal Tableaux and Resolution Methods via First-Order Resolution

Renate A. Schmidt. Developing Modal Tableaux and Resolution Methods via First-Order Resolution. In Guido Governatori, Ian M. Hodkinson, Yde Venema, editors, Advances in Modal Logic 6, papers from the sixth conference on Advances in Modal Logic, held in Noosa, Queensland, Australia, on 25-28 September 2006. pages 1-26, College Publications, 2006. [doi]

Abstract

Abstract is missing.