Common Knowledge Semantics of Armstrong's Axioms. - Zachary Heckle; Pavel Naumov (WoLLIC, 2014)