A Modal Herbrand Theorem
Melvin Fitting · Fundamenta Informaticae · 1996
We state and prove a modal Herbrand theorem that is, we believe, a more natural analog of the classical version than has appeared before. The statement itself requires the enlargement of the usual machinery of first-order modal logic—we use the devic