This text presents a broad range of logical investigations into language and information processing. Topics covered include: the notion of "reasonable belief" in commonsense reasoning, the logic of creation and modification of objects, and the verification of temporal aspects of reactive systems.