A non-preferential semantics of non-monotonic modal logic
type: Item
instance of: scholarly article
title: A non-preferential semantics of non-monotonic modal logic
zbMATH Open document ID: 1173.03014
author: Michael Kaminski
published in: Annals of Mathematics and Artificial Intelligence
publication date: 2009-07-06T00:00:00Z
review text: In modal logics with a connective for negative introspection, expansions are usually defined as the fixpoints of a suitable operation. An exception is due to G. Schwartz, who in 1992 devised a semantics for such logics in which the expansions of a set of formulae are taken to be the theories of models of that set that are minimal under a suitable preference relation. In the paper under review, the author constructs another non-fixpoint semantics, but without preference relations. In it, the expansions of a set of formulae are taken to be the theories of `isolated clusters' of canonical models of that set.
reviewed by: David Makinson
Mathematics Subject Classification ID: 03B42
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 68T30
zbMATH DE Number: 5576025
zbMATH Keywords: nonmonotonic modal logic
zbMATH Keywords: negative introspection
zbMATH Keywords: fixpoints
zbMATH Keywords: preference relations
zbMATH Keywords: clusters
zbMATH Keywords: canonical models
MaRDI profile type: Publication
full work available at URL: s10472-009-9114-0
OpenAlex ID: W2046065973
cites work: Ground Nonmonotonic Modal Logics
cites work: Q3507585
cites work: Q3026978
cites work: Q4698331
cites work: Q4168590
cites work: On the relation between default and autoepistemic logic
cites work: Q4273952
cites work: Nonmonotonic Logic II
cites work: Non-monotonic logic. I
cites work: Semantical considerations on nonmonotonic logic
cites work: Q4068699
cites work: The modal logic of cluster-decomposable Kripke interpretations
cites work: Q4287517
DOI: 10.1007/S10472-009-9114-0
description: scientific article; zbMATH DE number 5576025