Theoretical Foundations

This section covers the logical and computational foundations behind the Deontic framework, from basic modal logic to the specific encoding strategy we use.

Reading Path

1. Modal Logic — necessity, possibility, and Kripke semantics
2. Deontic Logic — obligation, permission, and normative reasoning
3. Curry-Howard Isomorphism — propositions as types, proofs as programs
4. Defeasible Reasoning — how we extend Curry-Howard to handle legal exceptions
5. Second-Order Defeasibility — meta-rules and counterfactual re-evaluation beyond the standard logic

Each section builds on the previous one. If you're already familiar with a topic, feel free to skip ahead.