On some semantic tableau proof procedures for modal logicby Graham WrightsonModality (Logic)Nonclassical mathematical logicWriting a summary for young readers…For young readersBook data: Open Library