Modal logic for default reasoning
type: Item
instance of: scholarly article
title: Modal logic for default reasoning
zbMATH Open document ID: 0871.03009
DOI: 10.1007/BF01531081
published in: Annals of Mathematics and Artificial Intelligence
publication date: 1997-06-04T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 03B60
zbMATH DE Number: 1017071
zbMATH Keywords: default logic
zbMATH Keywords: logic of necessitation
zbMATH Keywords: nonmonotonic reasoning
zbMATH Keywords: autoepistemic logic
zbMATH Keywords: iterative expansion
zbMATH Keywords: modal logic
zbMATH Keywords: semantics
author: Wiktor Marek
author: Mirosław Truszczyński
MaRDI profile type: Publication
cites work: Q3867808
cites work: Formalizing nonmonotonic reasoning systems
cites work: On the relation between default and autoepistemic logic
cites work: Q3826524
cites work: Q3486549
cites work: Circumscription - a form of non-monotonic reasoning
cites work: Non-monotonic logic. I
cites work: Nonmonotonic Logic II
cites work: Semantical considerations on nonmonotonic logic
cites work: A logic for default reasoning
cites work: Q3203233
cites work: Q3992826
full work available at URL: https://doi.org/10.1007/bf01531081
OpenAlex ID: W1966761138
description: scientific article; zbMATH DE number 1017071