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