Quantified epistemic logics for reasoning about knowledge in multi-agent systems
scientific article; zbMATH DE number 5600162
scientific article