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.002 seconds