Revision algebra semantics for conditional logic

DOI10.1007/BF00370117zbMath0771.03010MaRDI QIDQ1207343

John Pais

Publication date: 1 April 1993

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

zbMATH Keywords

algebraic modelsbelief revision operatorsmodel theory of conditional logicstable Ramsey test

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Related Items (2)

European Summer Meeting of the Association for Symbolic Logic ⋮ A Logic for Belief Contraction

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Notes on conditional logic
• On the logic of theory change: safe contraction
• An approach to default reasoning based on a first-order conditional logic: Revised report
• A first-order conditional logic for prototypical properties
• A refined theory of counterfactuals
• Nonmonotonic reasoning, preferential models and cumulative logics
• Epistemic semantics for counterfactuals
• Propositional knowledge base revision and minimal change
• Semantics for relevance logic with identity
• Basic conditional logic
• On the logic of theory change: Partial meet contraction and revision functions
• Completeness and decidability of three logics of counterfactual conditionals¹
• Counterfactuals

This page was built for publication: Revision algebra semantics for conditional logic