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

DOI10.1007/978-3-319-89650-2MaRDI QIDQ4611202zbMATH OpenOpenAlexFDO

Authors K. Schlechta

Publication date 17 January 2019

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

zbMATH Keywords

abstract independenceabstract sizecounterfactual conditionalsdefeasible inheritancedeontic logicinterpolationnon-monotonic logicspreferential structurestheory change

Mathematics Subject Classification ID

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

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

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)