Picture for David Fernández-Duque

David Fernández-Duque

Gödel-Dummett linear temporal logic

Add code
Jun 27, 2023
Viaarxiv icon

Intuitionistic Linear Temporal Logics

Add code
Dec 30, 2019
Figure 1 for Intuitionistic Linear Temporal Logics
Figure 2 for Intuitionistic Linear Temporal Logics
Figure 3 for Intuitionistic Linear Temporal Logics
Figure 4 for Intuitionistic Linear Temporal Logics
Viaarxiv icon

Exploring the bidimensional space: A dynamic logic point of view

Add code
Feb 06, 2017
Viaarxiv icon

Evidence and plausibility in neighborhood structures

Add code
Jul 04, 2013
Viaarxiv icon