View source for LogicalReflection

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

[[RefList]]:
* [http://www.cs.auckland.ac.nz/CDMTCS/chaitin/unknowable/ Chaitin, The Unknowable]
* [http://www.cs.gc.cuny.edu/~sartemov/ S. Artemov], [http://www.cs.gc.cuny.edu/~sartemov/publications/CADE99.ps 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. [http://www.cs.gc.cuny.edu/~sartemov/publ.html pubs] [http://rdfig.xmlhack.com/2003/09/23/2003-09-23.html#1064349895.329315 23Sep chump]

[http://www.dcs.kcl.ac.uk/staff/dg/ Dov Gabbay (from chat w/Hayes 17Oct)]

[http://www.w3.org/XML/9711theory/LogicOfProofs LogicOfProofs] larch trait. Hmm...
[http://rdfig.xmlhack.com/2003/09/29/2003-09-29.html#1064869282.269428 Alloy notes]...
switch from larch to alloy?

[http://nick.dcs.qmul.ac.uk/~pt/stable/Proofs+Types.html Proofs and Types PDF of book]

[http://www.earlham.edu/~peters/courses/logsys/nonstbib.htm#intuitionistic Peter Suber, "Non-Standard Logics"]

[http://www.cc.utah.edu/~nahaj/logic/structures/ John Halleck's Logic System Interrelationships]

[http://www.jfsowa.com/pubs/laws.htm Laws, Facts, and Contexts]

[[ToDo]]: mine [http://www.w3.org/2002/08/LX/ LX v1] and [http://www.w3.org/2002/08/LX/v3/paper LX v3].
compare/contrast with reification design in [http://www.w3.org/2000/10/swap/doc/changes.html#rel0.8 cwm 0.8].