Ranges of strong modal nonmonotonic logics

Wiktor Marek, Grigori F. Schwarz, Mirosław Truszczyński

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

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 languageEnglish
Title of host publicationNonmonotonic and Inductive Logic - 1st International Workshop, Proceedings
EditorsKlaus P. Jantke, Jurgen Dix, Peter H. Schmitt
Pages85-99
Number of pages15
DOIs
StatePublished - 1991
Event1st International Workshop on Nonmonotonic and Inductive Logic, 1990 - Karlsruhe, Germany
Duration: Dec 4 1990Dec 7 1990

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume542 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference1st International Workshop on Nonmonotonic and Inductive Logic, 1990
Country/TerritoryGermany
CityKarlsruhe
Period12/4/9012/7/90

Bibliographical note

Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1991.

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science

Fingerprint

Dive into the research topics of 'Ranges of strong modal nonmonotonic logics'. Together they form a unique fingerprint.

Cite this