Tag Archives: positive introspection

Towards KD45

Posted on August 24, 2025 by

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 | Comments Off