Algebraic Modal Logic, dynamic epistemic logic, Information Learning, Quantale-Module, robot navigation.