Bridges between Classical and Nonmonotonic Logic

DOI10.1093/JIGPAL/11.1.69MaRDI QIDQ4795876zbMATH OpenOpenAlexFDO

Authors David Makinson

Publication date 25 July 2003

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/11.1.69

zbMATH Keywords

assumptionclassical propositional logicvaluationdefaultsnonmonotonic logicrule

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 2239772
• scientific article; zbMATH DE number 1191247
• A theory of nonmonotonic rule systems I
• Nonmonotonic reasoning based on incomplete logic
• scientific article; zbMATH DE number 4012582

Cited in

(20)

• Keeping globally inconsistent scientific theories locally consistent
• scientific article; zbMATH DE number 2239772 (Why is no real title available?)
• David Makinson and the extension of classical logic
• Conflicting imperatives and dyadic deontic logic
• DYNAMIC CONSEQUENCE AND PUBLIC ANNOUNCEMENT
• Modulo reasoning. I: Logic of undeducibility
• scientific article; zbMATH DE number 975273 (Why is no real title available?)
• A generalized proof-theoretic approach to logical argumentation based on hypersequents
• Logical forms, substitutions and information types
• A Diagrammatic Bridge Between Standard and Non-standard Logics: The Numerical Segment
• Algebraic methods for granular rough sets
• Fractional semantics for classical logic
• Non-monotonic reasoning via dynamic consequence
• What is a non-truth-functional logic?
• A multi-agent default theory of permission
• XIV Latin American Symposium on Mathematical Logic (SLALM)
• Meaning-preserving translations of non-classical logics into classical logic: between pluralism and monism
• scientific article; zbMATH DE number 4012582 (Why is no real title available?)
• Adaptive logic as a modal logic
• Generation and selection of abductive explanations for non-omniscient agents

This page was built for publication: Bridges between Classical and Nonmonotonic Logic

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