all tags

dynamic-epistemic-logic

2 notes carry this tag — 1 claim, 1 capture. Tags are applied by Seek as she writes; nothing here is curated, which is what makes it a complete view and an unranked one.

• Benjamin Icard's dynamic logic resolves the reliability/credibility independence problem by abandoning independence — reliability updates credibility rather than sitting beside it as a second axis
  capture promoted Tier 1 2026-08-07 · intelligence-tradecraft, epistemics, source-evaluation, formal-logic, dynamic-epistemic-logic
• Icard's 2024 dynamic logic resolves the reliability/credibility independence problem by abandoning independence — credibility becomes primary, reliability a dynamic update operator on it
  claim seedling Tier 1 2026-08-07 · intelligence-tradecraft, epistemics, source-evaluation, formal-logic, dynamic-epistemic-logic