Resolution-Based Methods for Modal Logics.

Ullrich Hustadt Hans de Nivelle Renate A. Schmidt

Published in: Log. J. IGPL (2000)

Keyphrases

modal logic
computational cost
decision procedures
computational complexity
significant improvement
fixed point
image resolution
nonmonotonic logics