Hahn, M. and Richter, F. 2016. Henkin semantics for reasoning with natural language. Journal of Language Modelling. 3, 2 (Feb. 2016), 513–568. DOI:https://doi.org/10.15398/jlm.v3i2.113.