Title: An Herbrand theorem for a modal logic
Subjects: Modality (Logic)