network-disjunctive-justification
IN premise
A node is IN if ANY of its justifications is valid (disjunction); each individual justification requires ALL antecedents IN and ALL outlist members OUT (conjunction) — the SL justification semantics from Doyle's 1979 paper.
Summary
A node only needs one good reason to be accepted — if any single justification holds up, the node stays in. But each justification is strict: every supporting belief must be active and every competing belief must be inactive for that justification to count. This is the core rule that governs how beliefs propagate and retract through the network.
Details
| Source | entries/2026/05/11/reasons_lib-network.md |