Logic of Information and Dependency

Abstract

We propose a logic with a predicate D(x) which means "the value of x is known". This logic can fully describe information hiding and information dependency. A formal system is given, and a Kripke-style semantics is defined for it. We show soundness and completeness results for the semantics.