Aarati Parmar Department of Computer Science, Gates Building, 2A wing Stanford University, Stanford, CA 94305-9020, USA aarati@cs.stanford.edu
Logical AI requires formalisms and constructions beyond those of first-order logic. In this paper we list some of them, with a brief description. Comments are very welcome.