LogicalReflection

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

RefList:

• Chaitin, The Unknowable
• S. Artemov, On explicit reflection in theorem proving and formal verification , In Springer Lecture Notes in Artificial Intelligence v. 1632 , Automated Deduction - CADE-16. Proceedings of the 16th International Conference on Automated Deduction, Trento, Italy, July 1999, pp. 267-281, 1999. pubs 23Sep chump

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.