A focused framework for emulating modal proof systems