research
∙
06/27/2023
Gödel-Dummett linear temporal logic
We investigate a version of linear temporal logic whose propositional fr...
share
research
∙
01/24/2023
Dynamic Tangled Derivative Logic of Metric Spaces
Dynamical systems are abstract models of interaction between space and t...
research
∙
05/10/2022
A Gödel Calculus for Linear Temporal Logic
We consider Gödel temporal logic (GTL), a variant of linear temporal log...
research
∙
05/01/2022
Time and Gödel: Fuzzy temporal reasoning in PSPACE
We investigate a non-classical version of linear temporal logic whose pr...
research
∙
04/18/2022
Untangled: A Complete Dynamic Topological Logic
Dynamic topological logic (𝐃𝐓𝐋) is a trimodal logic designed for reasoni...
research
∙
07/21/2021
Dynamic Cantor Derivative Logic
Topological semantics for modal logic based on the Cantor derivative ope...
research
∙
05/18/2021
The Topological Mu-Calculus: completeness and decidability
We study the topological μ-calculus, based on both Cantor derivative and...
research
∙
04/30/2021
Some constructive variants of S4 with the finite model property
The logics CS4 and IS4 are intuitionistic variants of the modal logic S4...
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
∙
08/15/2018
Frame-validity games and lower bounds on the complexity of modal axioms
We introduce frame-equivalence games tailored for reasoning about the si...
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
Axiomatic systems and topological semantics for intuitionistic temporal logic
We propose four axiomatic systems for intuitionistic linear temporal log...
research
∙
02/06/2017
Exploring the bidimensional space: A dynamic logic point of view
We present a family of logics for reasoning about agents' positions and ...
research
∙
07/04/2013