Abstract: This paper is focused on translating the modalities of fundamental temporal logical systems into the language of Transparent Intensional Logic, which represents a very expressive methodology ...

Any inconsistent theory whose underlying logic is classical encompasses all the sentences of its own language. As it denies everything it asserts, it is useless for explaining or predicting anything.