Analysis
Towards KD45
On the subject of belief, I’m instinctively drawn to logical systems that demand consistency, closure, and introspection. And the KD45 system among them exerts a special pull. It consists of the following axioms: * K (closure): If you believe an implication and you believe the antecedent, then you believe the