Explorations in Semantic Theory