On some semantic tableau proof procedures for modal logic
By: Graham Wrightson.
Series: Fortschritt-Berichte der VDI Zeitschriften. Reihe 10,  Angewandte Informatik -- Nr. 30.; Fortschritt-Berichte der VDI Zeitschriften -- Nr. 30.
Publisher: VDI-Verlag
Published: 1984
Place of publication: Düsseldorf
Language: eng
Number of pages: 128
Subjects: Modality (Logic); Nonclassical mathematical logic.
Notes: Summary in German.

Bibliography: p. 125-128.