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