Logic for Data Description
The Description of Logical Properties
Logic as a Description of a Logical Agent
Description and/or Hybrid Logics