"Inference Rules in some temporal multi-epistemic propositional logics."

Erica Calardo (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics