View of Prefixed tableaux for multi-modal logic of knowledge with inclusions | Lietuvos matematikos rinkinys

← Return to Article Details Prefixed tableaux for multi-modal logic of knowledge with inclusions