Abstract
In this paper we introduce first-order non-monotonic modal logic and study its properties. Our definition is semantical and is based on the intuition similar to that lying behind the definition of first-order default logic. Thus, our definition of first-order non-monotonic modal logic well complies with that of first-order default logic and circumscription, providing a substantial evidence for its acceptance. In addition, our definition implies all properties of propositional non-monotonic modal logic, which supplies an additional support for its adequacy.