Approximations of Modal Logic K. - Guilherme de Souza Rabello; Marcelo Finger (WoLLIC, 2005)

Approximations of modal logics: K and beyond. - Guilherme de Souza Rabello; Marcelo Finger (Ann. Pure Appl. Log., 2008)