The relationship between KLM and MAK models for nonmonotonic inference operations

DOI10.1007/BF00171694zbMath0796.03033OpenAlexW2066477907MaRDI QIDQ1314289

Jürgen Dix, David Makinson

Publication date: 9 October 1994

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00171694

zbMATH Keywords

nonmonotonic logicconsequence operatorsatisfaction relationpreferential modelsKLM modelsMAK models

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Related Items (5)

Nonmonotonic reasoning: From finitary relations to infinitary inference operations ⋮ Representation theorems for explanatory reasoning based on cumulative models ⋮ On the relation between default and modal nonmonotonic reasoning ⋮ Five faces of minimality ⋮ Nonmonotonic inference based on expectations

This page was built for publication: The relationship between KLM and MAK models for nonmonotonic inference operations