Tag Archives: KD45 logic

The guiding light of KD45

Posted on August 24, 2025 by VM

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: Thus, KD45 pictures a believer who never … Continue reading →

Posted in Analysis, Life notes | Tagged AGM theory, Bayesian belief system, belief systems, determinism, KD45 logic, modal logics, negative introspection, paraconsistent theory, positive introspection, probabalistic reality, rationalism, S4 logic | Leave a comment

Tag Archives: KD45 logic

Sign up

Recent posts