Title: On some semantic tableau proof procedures for modal logic
Subjects: Modality (Logic), Nonclassical mathematical logic