Hsiang Lin

Governed Deduction: Policy-Grounded Premise Authorization Beyond Relevance

Reasoning systems usually treat premise use as a question of relevance: if a fact is available and useful, it may be selected for inference. Authorization imposes a different constraint: a premise may be represented and logically usable but not permitted for a particular local transition. We formalize this distinction...