On some semantic tableau proof procedures for modal logic

Author(s)

• Wrightson, Graham

Bibliographic Information

On some semantic tableau proof procedures for modal logic

Graham Wrightson

（Fortschritt-Berichte VDI, Reihe 10, Nr. 30）

VDI Verlag, 1984

Note

Includes bibliographical references (p.125-128)

• NCID: BA25551846
• ISBN:
  • 3181430102
• Country Code: gw
• Title Language Code: ger
• Text Language Code: ger
• Place of Publication: Düsseldorf
• Pages/Volumes: iv, 128 p.
• Size: 21 cm
• Parent Bibliography ID:
  • BA07751876