Kripke semantics for epistemic logic relational information between ciphertexts. [article]. - Hagihara, Shigeki