Inconsistency and Sequentiality in LTL Topics: Knowledge Representation and Reasoning; Uncertainty in AI In Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 1: ICAART, 46-54, 2015 , Lisbon, Portugal