N3 semantics w.r.t. Acl2?

What of wtr and intuitionistic? S4, provability, ...
--
Dan Connolly, W3C http://www.w3.org/People/Connolly/
mobile: tel:+1-816-616-6576

Received on Monday, 29 August 2005 01:20:43 UTC