A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is
Lecture Notes in Computer Science
0000−0003−3440−4348] , David Fernández-Duque 3[0000−0001−8604−4183] , and Fabián Romero 1[0000−0003−1242−5391] Abstract. The importance of intuitionistic temporal logics in Computer Science and Artificial Intelligence has become increasingly clear in the last few years. From the proof-theory point of view, intuitionistic temporal logics have made it possible to extend functional languages with new features via type theory, while from its semantical perspective several logics for reasoning aboutdoi:10.1007/978-3-030-19570-0_49 fatcat:bsx7jvjd6jhnbi2m3ir5yofagy