Return to Issue Details Henkin semantics for reasoning with natural language Download Download PDF