Guilherme de Souza Rabello

According to our database, Guilherme de Souza Rabello authored at least 2 papers between 2005 and 2008.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2008

Approximations of modal logics: K and beyond.

Guilherme de Souza Rabello, Marcelo Finger

Ann. Pure Appl. Log., 2008

2005

Approximations of Modal Logic K.

Guilherme de Souza Rabello, Marcelo Finger

Proceedings of the 12th Workshop on Logic, Language, Information and Computation, 2005