Donghuo Chen, Jinzhao Wu: Reasoning About Inconsistent Concurrent Systems: A Non-classical Temporal Logic. SOFSEM 2006: 207-217