A non-preferential semantics of non-monotonic modal logic (Q1028644)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A non-preferential semantics of non-monotonic modal logic |
scientific article; zbMATH DE number 5576025
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A non-preferential semantics of non-monotonic modal logic |
scientific article; zbMATH DE number 5576025 |
Statements
A non-preferential semantics of non-monotonic modal logic (English)
0 references
6 July 2009
0 references
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.
0 references
nonmonotonic modal logic
0 references
negative introspection
0 references
fixpoints
0 references
preference relations
0 references
clusters
0 references
canonical models
0 references
