research
∙
04/30/2021
Resource separation in dynamic logic of propositional assignments
We extend dynamic logic of propositional assignments by adding an operat...
share
research
∙
12/30/2019
Exploring the Jungle of Intuitionistic Temporal Logics
The importance of intuitionistic temporal logics in Computer Science and...
research
∙
12/30/2019
Intuitionistic Linear Temporal Logics
We consider intuitionistic variants of linear temporal logic with `next'...
research
∙
10/02/2019
Complete Intuitionistic Temporal Logics in Topological Dynamics
The language of linear temporal logic can be interpreted over the class ...
research
∙
03/14/2018
Bisimulations for intuitionistic temporal logics
We introduce bisimulations for the logic ITL^e with `next', `until' and ...
research
∙
03/13/2018