In his paper ?The Logic of Temporal Discourse?, Pavel Tichý (1980) pointed out that contemporary systems of logic were unable to sufficiently formalise temporal discourse. He therefore suggested temporal specification in Transparent Intensional Logic (TIL), a system of logic that he developed. Discussing contemporary systems of logic, Tichý also took into account the system of Arthur N. Prior, who is considered a founding father of modern temporal logic, and his criticism was also addressed to Prior. Tichý only focused, however, on Prior?s early systems of temporal logic. Patrick Blackburn (2006) recently raised awareness that Prior also developed systems of hybrid logic in his latest periods (see e.g. Prior 2003a; Prior 2003b). From the point of view of temporal specification, this system is particularly interesting as the system has greater expressive power than Prior?s early systems of temporal logic. Hence it could also deal with the problematic specifications of tenses that Pavel Tichý pointed out (see Blackburn and J?rgensen 2016). The aim of my talk is to demonstrate that the temporal propositions that Tichý introduced as problematic could be formalised in Prior?s hybrid logic. I will also compare formalisations in TIL and hybrid logic and Tichý?s and Prior?s views that influenced their systems of logic.

In his paper ‘The Logic of Temporal Discourse’, Pavel Tichý (1980) pointed out that contemporary systems of logic were unable to sufficiently formalise temporal discourse. He therefore suggested temporal specification in Transparent Intensional Logic (TIL), a system of logic that he developed. Discussing contemporary systems of logic, Tichý also took into account the system of Arthur N. Prior, who is considered a founding father of modern temporal logic, and his criticism was also addressed to Prior. Tichý only focused, however, on Prior’s early systems of temporal logic. Patrick Blackburn (2006) recently raised awareness that Prior also developed systems of hybrid logic in his latest periods (see e.g. Prior 2003a; Prior 2003b). From the point of view of temporal specification, this system is particularly interesting as the system has greater expressive power than Prior’s early systems of temporal logic. Hence it could also deal with the problematic specifications of tenses that Pavel Tichý pointed out (see Blackburn and Jørgensen 2016). The aim of my talk is to demonstrate that the temporal propositions that Tichý introduced as problematic could be formalised in Prior’s hybrid logic. I will also compare formalisations in TIL and hybrid logic and Tichý’s and Prior’s views that influenced their systems of logic.