A Tableaux System in Modal Logic

Miodrag Kapetanović