Discussion Graph Semantics of First-Order Logic with Equality for Reasoning about Discussion and Argumentation

Open in new window