Nonmonotonic reasoning: From finitary relations to infinitary inference operations

DOI10.1007/BF01054708zbMath0802.03022MaRDI QIDQ1327479

Michael Freund, Daniel J. Lehmann

Publication date: 19 June 1994

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

nonmonotonic logicnonmonotonic reasoninginfinitary inference operations

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Related Items

Semantics for dual preferential entailment, Defaults as restrictions on classical Hilbert-style proofs, Generalized compactness of nonmonotonic inference operations, How to revise a total preorder, Infinitary belief revision, Connectives in Cumulative Logics, Explicating logical independence, New techniques and completeness results for preferential structures

Cites Work

• Unnamed Item
• A logical framework for default reasoning
• Nonmonotonic reasoning, preferential models and cumulative logics
• What does a conditional knowledge base entail?
• Supracompact inference operations
• The relationship between KLM and MAK models for nonmonotonic inference operations
• Nonmonotonic inference operations
• Some Results on Classical Preferential Models
• Counterfactuals