Tarskian semantics
Redirect to:
First-order logic#Semantics