『意味論』などというから判りにくくなる。単に『領域理論』でいいのでは?