Termination of Derivations in a Fragment of Transitive Distributed Knowledge Logic.

Regimantas Pliuskevicius Aida Pliuskeviciene Termination of Derivations in a Fragment of Transitive Distributed Knowledge Logic. 597-616 2008 19 Informatica, Lith. Acad. Sci. 4 http://iospress.metapress.com/content/dj28576614363571/ db/journals/informaticaLT/informaticaLT19.html#PliuskeviciusP08