Hahn, M.; Richter, F. Henkin Semantics for Reasoning With Natural Language. JLM 2016, 3, 513–568.