Affiliations: Department of Computer Science, Technion – Israel Institute of Technology, Haifa 32000, Israel | Utopy Inc., 330 Fell St., San Francisco, CA 94102, U.S.A.
Note: [] Address for correspondence: Department of Computer Science, Technion – Israel Institute of Technology, Haifa 32000, Israel
Note: [] Address for correspondence: Utopy Inc., 330 Fell St., San Francisco, CA 94102, U.S.A.
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.
