First-Order Logic with Quotation (for the Semantic Web)

DRAFT of possible talk; comments welcome!

Presentation by Sandro Hawke. Ideas by Tim Berners-Lee, Dan Connolly, and numerous others.