Epistemic Hybrid Tree Logic

Ammar Mohamed, Rana Mohamed, Hesham Hefny. Epistemic Hybrid Tree Logic. In 25th International Conference on Computer Theory and Applications, ICCTA 2015, Alexandria, Egypt, October 24-26, 2015. pages 22-27, IEEE, 2015. [doi]

Abstract

Abstract is missing.