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

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