WordNet: formal semantics

Sanatista
the branch of semantics that studies the logical aspects of meaning



formal semantics