Quantified epistemic logics for reasoning about knowledge in multi-agent systems

Francesco Belardinelli, Alessio Lomuscio. Quantified epistemic logics for reasoning about knowledge in multi-agent systems. Artificial Intelligence, 173(9-10):982-1013, 2009. [doi]

Abstract

Abstract is missing.