Metaclass's Lament
A Model Theory for a Quantified Generalized Logic of Contexts
Does Quantified Modal Logic Rest on a Mistake?
Any istAON Quantified Context Logic has a
FirstOrder Semantics (proof using baby semantics)
Any istAO Quantified Context Logic has a
FirstOrder Semantics (stronger result, using context conjugates)
Distributed Morphology Controlled English (fragmentary)
Knowledge Representation and Reasoning using
FirstOrder Theories over
Structured Propositions (wants rewrite)
A Linguistically Natural Approach to Constructing Formal
PropositionObjects Expressing Quantification, in Theories of
Reified Concepts and Propositions
A Primer on Minimal Models (extremely fragmentary notes)
