]> 2012-02-11T06:24:54-05:00 Any ist-ao quantified context logic has a first-order semantics techreport KSL-06-11 KSL-06-11 Any ist-AO Quantified Context Logic has a First-Order Semantics KSL-06-11 2006 Year Tr id Title Computer science Tag Number Key Knowledge Systems, AI Laboratory Institution Bibtype Karl Heuer Selene Makarios Author KSL Technical Report Publication Technical Report