First-order non-monotonic modal logics

• Autorzy: Kaminski M. , Rey G.
• Języki publikacji: EN

Abstrakty

EN

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.

Słowa kluczowe

EN

modal non-monotonic logics

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2000
• Tom: Vol. 42, nr 3,4
• Strony: 303--333
• Opis fizyczny: bibliogr. 37 poz.

Twórcy

autor

Kaminski M.

autor

Rey G.

• Department of Computer Science, Technion - Israel Institute of Technology, Haifa 32000, Israel