Logical tools for temporal knowledge representation | lit.salon