Henkin semantics