formal semantics Meaning, Definition & Usage

  1. noun the branch of semantics that studies the logical aspects of meaning

WordNet