Recipes
Find a pattern for what you want to express. Each recipe shows the working form, a common mistake and a checkable counterexample.
Model the rules
Define what applies and how competing norms interact.
- B
Rules and exceptions
Bind exceptions, resolve priorities and preserve unresolved conflicts.
11 recipes - G
Concepts and qualification
Define terms and classify objects through explicit conditions.
11 recipes - A
Rights and duties
Represent duties, prohibitions, powers and entitlements.
16 recipes - Z
Interpretations
Express competing readings and evaluative elements.
9 recipes - ZH
Violations and consequences
Connect an obligation, its breach and the resulting consequences.
8 recipes
Handle facts and context
Work with uncertainty, time, calculations and sources.
- V
Unknown and negation
Distinguish missing facts, explicit negation and closed lists.
10 recipes - E
Time and deadlines
Model dates, periods and the rules for counting a deadline.
12 recipes - L
Calculations and tables
Work with numbers, amounts, aggregates and decision tables.
11 recipes - D
Evidence and presumptions
Model burden of proof, evidence and rebuttable presumptions.
10 recipes - I
Sources and text
Anchor your model in source fragments and their editions.
11 recipes
Build, run and inspect
Package your work, follow procedures and check the answer.
No matching categories
Try “rules”, “time” or “evidence”, or browse all categories.
Documentation for Arxo. Writings — blog.arxo.io.
Anonymous visit counts on stats.arxo.io, no cookies.