@misc{miscb30b2a69,
title   = {Approximations of Modal Logic K},
author = {Rabello, Guilherme de Souza and Finger, Marcelo},
year = {2006},
doi = {10.1016/j.entcs.2005.04.040},
publisher = {Elsevier},
booktitle   = {Workshop on Logic, Language, Information and Computation - WoLLIC}
}