Another Empirical Proof of Transparent Intensional Logic’s Expressive Power in the Field of Temporal Logical Systems

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 for the logical analysis of natural language. Since the analyzed modalities play an important role in the area of model checking, their translation, carried out based on the explicit intensional and temporal character of Transparent Intensional Logic, also initiates further research aimed at connecting these areas. This brings an added value to our paper, whose main result is the presentation of another empirical proof of Transparent Intensional Logic expressiveness.