Abstract
In this paper we consider the effects of Gelfond-Lifschitz reduct of theories in modal language on the properties of associated notions of expansion. It turns out that, as in the general case without Gelfond-Lifschitz reduct, various monotonic modal logics collapse in this situation to the same nonmonotonic logic.
Original language | English |
---|---|
Title of host publication | Nonmonotonic and Inductive Logic - 1st International Workshop, Proceedings |
Editors | Klaus P. Jantke, Jurgen Dix, Peter H. Schmitt |
Pages | 85-99 |
Number of pages | 15 |
DOIs | |
State | Published - 1991 |
Event | 1st International Workshop on Nonmonotonic and Inductive Logic, 1990 - Karlsruhe, Germany Duration: Dec 4 1990 → Dec 7 1990 |
Publication series
Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Volume | 542 LNAI |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | 1st International Workshop on Nonmonotonic and Inductive Logic, 1990 |
---|---|
Country/Territory | Germany |
City | Karlsruhe |
Period | 12/4/90 → 12/7/90 |
Bibliographical note
Publisher Copyright:© Springer-Verlag Berlin Heidelberg 1991.
ASJC Scopus subject areas
- Theoretical Computer Science
- General Computer Science