Independence and Functional Dependence Relations on Secrets

We study logical principles connecting two relations: independence, which is known as nondeducibility in the study of information flow, and functional dependence. Two different epistemic interpretations for these relations are discussed: semantics of secrets and probabilistic semantics. A logical system sound and complete with respect to both of these semantics is introduced and is shown to be decidable.

• Type: Conference
• Year: 2010
• Where: KR
• Authors: Robert Kelvey, Sara Miner More, Pavel Naumov, Benjamin Sapp
• Keywords: Automated Reasoning, Functional Dependence, KR 2010, Logical Principles, Probabilistic Semantics