A weak concept of compactness for nonmonotonic logics is proposed,
which is suitable for several nonmonotonic logics, for which Makinsons
smallest cumulative extension as well as Freund/Lehmanns canonical
extension fail.
Identifer | oai:union.ndltd.org:DRESDEN/oai:qucosa:de:qucosa:34509 |
Date | 12 July 2019 |
Creators | Dietrich, Jens |
Publisher | Universität Leipzig |
Source Sets | Hochschulschriftenserver (HSSS) der SLUB Dresden |
Language | English |
Detected Language | English |
Type | info:eu-repo/semantics/publishedVersion, doc-type:book, info:eu-repo/semantics/book, doc-type:Text |
Source | Report / Institut für Informatik, Report / Institut für Informatik |
Rights | info:eu-repo/semantics/openAccess |
Relation | urn:nbn:de:bsz:15-qucosa2-343029, qucosa:34302 |
Page generated in 0.0056 seconds