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.
|Title of host publication||Nonmonotonic and Inductive Logic - 1st International Workshop, Proceedings|
|Editors||Klaus P. Jantke, Jurgen Dix, Peter H. Schmitt|
|Number of pages||15|
|State||Published - 1991|
|Event||1st International Workshop on Nonmonotonic and Inductive Logic, 1990 - Karlsruhe, Germany|
Duration: Dec 4 1990 → Dec 7 1990
|Name||Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|
|Conference||1st International Workshop on Nonmonotonic and Inductive Logic, 1990|
|Period||12/4/90 → 12/7/90|
Bibliographical noteFunding Information:
The first and the third authors gratefully acknowledge the support of Army Research Office under grant DAAL03-89-K-0124, and National Science Foundation and the Commonwealth of Kentucky EPSCoR program under grant RII 8610671.
© Springer-Verlag Berlin Heidelberg 1991.
ASJC Scopus subject areas
- Theoretical Computer Science
- Computer Science (all)