Tytuł artykułu
Autorzy
Wybrane pełne teksty z tego czasopisma
Identyfikatory
Warianty tytułu
Języki publikacji
Abstrakty
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
Wydawca
Czasopismo
Rocznik
Tom
Strony
303--333
Opis fizyczny
bibliogr. 37 poz.
Twórcy
autor
autor
- Department of Computer Science, Technion - Israel Institute of Technology, Haifa 32000, Israel
Bibliografia
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-article-BUS1-0008-0013