Axiomatization of a Branching Time Logic with Indistinguishability Relations. - Alberto Gatto 002 (J. Philos. Log., 2016)

On the Priorean temporal logic with [d] over the real line. - Alberto Gatto 002 (J. Log. Comput., 2016)

Studies on modal logics of time and space. - Alberto Gatto 002 (2016)