Assertion: logic's semantic | /r/HasProperty | well-known approach
Facets:
Source sentences:
text: Game-theoretical semantics (GTS) is a well-known approach to semantics for natural and formal languages, originating in the work of Jaakko Hintikka (see Hintikka & Sandu (1997) for a general presentation).