Herbrand Interpretations in Modal Logics

摘要

For the modal predicate logics K,D,T, and S(sub 4) a modal version of Skolem's normal form and Herbrand's interpretations are introduced and Herbrand's theorem is proved. The Herbrand interpretations are special tree interpretations. The discussion is based upon modal interpretations with different domains for different worlds and having the property that each name has an interpretation in each domain. (Copyright (c) 1994 by Faculty of Technical Mathematics and Informatics, Delft, The Netherlands.)