From W3C Wiki

quoting, reification (see RdfReification,) N3 {}, godel numbering, and the like. Modal logic?


Dov Gabbay (from chat w/Hayes 17Oct)

LogicOfProofs larch trait. Hmm... Alloy notes... switch from larch to alloy?

Proofs and Types PDF of book

Peter Suber, "Non-Standard Logics"

John Halleck's Logic System Interrelationships

Laws, Facts, and Contexts

ToDo: mine LX v1 and LX v3. compare/contrast with reification design in cwm 0.8.