Scoreboards
Prefix Legend
Commitments
[A] Avowed (directly asserted)
[⊢] Committive inference
[≡] Substitutional closure (Ch. 6)
[⤹] Anaphoric inheritance (Ch. 7)
[att] Ascription (Ch. 8)
Entitlements
[D] Default (unchallenged)
[T] Testimonial transfer
[O] Observational report (RDRD)
[K] Knowledge ascription
[?p] Permissive inference
Logical Vocabulary (Ch. 5)
[⊃] Material conditional (expresses inference)
[¬] Negation (expresses incompatibility)
Add agents to see scoreboards.