Alberto Gatto

According to our database, Alberto Gatto authored at least 3 papers in 2016.

Collaborative distances:

• no known Dijkstra number.
• no known Erdős number.

2016

Studies on modal logics of time and space.

Alberto Gatto

PhD thesis, 2016

On the Priorean temporal logic with [<i>d</i>] over the real line.

Alberto Gatto

J. Log. Comput., 2016

Axiomatization of a Branching Time Logic with Indistinguishability Relations.

Alberto Gatto

J. Philos. Log., 2016