Formal methods for nonmonotonic and related logics. Vol II. Theory revision, inheritance, and various abstract properties

DOI10.1007/978-3-319-89650-2zbMATH Open1406.03002OpenAlexW4300580881MaRDI QIDQ4611202FDOQ4611202

K. Schlechta

Publication date: 17 January 2019

Full work available at URL: https://doi.org/10.1007/978-3-319-89650-2

Recommendations

• Formal Methods for Nonmonotonic and Related Logics
• scientific article; zbMATH DE number 592370
• Selected exercises of algebra. Volume 2
• A New Perspective on Nonmonotonic Logics
• Nonmonotonic logics. Basic concepts, results, and techniques

zbMATH Keywords

interpolationdeontic logiccounterfactual conditionalstheory changedefeasible inheritancenon-monotonic logicsabstract independencepreferential structuresabstract size

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Other model constructions (03C30)

Cited In (1)

• Formal Methods for Nonmonotonic and Related Logics

This page was built for publication: Formal methods for nonmonotonic and related logics. Vol II. Theory revision, inheritance, and various abstract properties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4611202)