Correctness and Worst-Case Optimality of Pratt-Style Decision Procedures for Modal and Hybrid Logics.

Mark Kaminski, Thomas Schneider, Gert Smolka

Browse the full TABLEAUX paper archive.