Logic
A universal logic - language? framework?
Overlapping model theories
In general, "layering"
Tim Berners-Lee
42 of 55