Common Knowledge Semantics of Armstrong's Axioms.

Zachary Heckle, Pavel Naumov

Browse the full WoLLIC paper archive.