Guilherme de Souza Rabello

Publication Activity (10 Years)

Years Active: 2006-2008
Publications (10 Years): 0

Publications

Guilherme de Souza Rabello, Marcelo Finger
Approximations of modal logics: K and beyond. Ann. Pure Appl. Log. 152 (1-3) (2008)
Guilherme de Souza Rabello, Marcelo Finger
Approximations of Modal Logic K. Electron. Notes Theor. Comput. Sci. 143 (2006)