Ranges of strong modal nonmonotonic logics

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

doi:10.1007/BFb0023319

Ranges of strong modal nonmonotonic logics

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

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-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 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	https://doi.org/10.1007/BFb0023319
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.

Funding

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.

Funders	Funder number
Commonwealth of Kentucky EPSCoR	RII 8610671
National Science Foundation (NSF)
Army Research Office	DAAL03-89-K-0124

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/BFb0023319

Cite this

Marek, W., Schwarz, G. F., & Truszczyński, M. (1991). Ranges of strong modal nonmonotonic logics. In K. P. Jantke, J. Dix, & P. H. Schmitt (Eds.), Nonmonotonic and Inductive Logic - 1st International Workshop, Proceedings (pp. 85-99). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 542 LNAI). https://doi.org/10.1007/BFb0023319

Marek, Wiktor ; Schwarz, Grigori F. ; Truszczyński, Mirosław. / Ranges of strong modal nonmonotonic logics. Nonmonotonic and Inductive Logic - 1st International Workshop, Proceedings. editor / Klaus P. Jantke ; Jurgen Dix ; Peter H. Schmitt. 1991. pp. 85-99 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{e2b16de5f1bd4c709e7e45a1e954e15b,

title = "Ranges of strong modal nonmonotonic logics",

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.",

author = "Wiktor Marek and Schwarz, \{Grigori F.\} and Miros{\l}aw Truszczy{\'n}ski",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1991.; 1st International Workshop on Nonmonotonic and Inductive Logic, 1990 ; Conference date: 04-12-1990 Through 07-12-1990",

year = "1991",

doi = "10.1007/BFb0023319",

language = "English",

isbn = "9783540545644",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "85--99",

editor = "Jantke, \{Klaus P.\} and Jurgen Dix and Schmitt, \{Peter H.\}",

booktitle = "Nonmonotonic and Inductive Logic - 1st International Workshop, Proceedings",

}

Marek, W, Schwarz, GF & Truszczyński, M 1991, Ranges of strong modal nonmonotonic logics. in KP Jantke, J Dix & PH Schmitt (eds), Nonmonotonic and Inductive Logic - 1st International Workshop, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 542 LNAI, pp. 85-99, 1st International Workshop on Nonmonotonic and Inductive Logic, 1990, Karlsruhe, Germany, 12/4/90. https://doi.org/10.1007/BFb0023319

Ranges of strong modal nonmonotonic logics. / Marek, Wiktor; Schwarz, Grigori F.; Truszczyński, Mirosław.
Nonmonotonic and Inductive Logic - 1st International Workshop, Proceedings. ed. / Klaus P. Jantke; Jurgen Dix; Peter H. Schmitt. 1991. p. 85-99 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 542 LNAI).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Ranges of strong modal nonmonotonic logics

AU - Marek, Wiktor

AU - Schwarz, Grigori F.

AU - Truszczyński, Mirosław

N1 - Publisher Copyright: © Springer-Verlag Berlin Heidelberg 1991.

PY - 1991

Y1 - 1991

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85030456657&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85030456657&partnerID=8YFLogxK

U2 - 10.1007/BFb0023319

DO - 10.1007/BFb0023319

M3 - Conference contribution

AN - SCOPUS:85030456657

SN - 9783540545644

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 85

EP - 99

BT - Nonmonotonic and Inductive Logic - 1st International Workshop, Proceedings

A2 - Jantke, Klaus P.

A2 - Dix, Jurgen

A2 - Schmitt, Peter H.

T2 - 1st International Workshop on Nonmonotonic and Inductive Logic, 1990

Y2 - 4 December 1990 through 7 December 1990

ER -

Marek W, Schwarz GF, Truszczyński M. Ranges of strong modal nonmonotonic logics. In Jantke KP, Dix J, Schmitt PH, editors, Nonmonotonic and Inductive Logic - 1st International Workshop, Proceedings. 1991. p. 85-99. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/BFb0023319

Ranges of strong modal nonmonotonic logics

Abstract

Publication series

Conference

Bibliographical note

Funding

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this