Bridges between Classical and Nonmonotonic Logic

DOI10.1093/jigpal/11.1.69zbMath1016.03024OpenAlexW2103809193MaRDI QIDQ4795876

David Makinson

Publication date: 25 July 2003

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

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

zbMATH Keywords

nonmonotonic logicvaluationclassical propositional logicdefaultsassumptionrule

Mathematics Subject Classification ID

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

Related Items (12)

Adaptive logic as a modal logic ⋮ Non-monotonic reasoning via dynamic consequence ⋮ A Multi-agent Default Theory of Permission ⋮ Algebraic Methods for Granular Rough Sets ⋮ Keeping Globally Inconsistent Scientific Theories Locally Consistent ⋮ DYNAMIC CONSEQUENCE AND PUBLIC ANNOUNCEMENT ⋮ Generation and selection of abductive explanations for non-omniscient agents ⋮ A generalized proof-theoretic approach to logical argumentation based on hypersequents ⋮ FRACTIONAL SEMANTICS FOR CLASSICAL LOGIC ⋮ XIV Latin American Symposium on Mathematical Logic (SLALM) ⋮ What is a non-truth-functional logic? ⋮ Conflicting imperatives and dyadic deontic logic

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