Single Step Tableaux for Modal Logics Computational Properties, Complexity and Methodology