Prefixed tableaux for multi-modal logic of knowledge with inclusions - Sakalauskaitė, Jūratė (Lietuvos matematikos rinkinys, 2003)
There is not abstract.