An Herbrand theorem for a modal logic.
Series: Preprint series. Mathematics, 1972: no. 5
Publisher: Universitetet i Oslo, Matematisk institutt
Published: 1972
Place of publication: Oslo
Language: eng
Number of pages: 18
Subjects: Modality (Logic)
Notes: Bibliography: leaf 18.