A quantified epistemic logic for reasoning about multiagent systems

Francesco Belardinelli, Alessio Lomuscio

Abstract: We investigate quantified interpreted systems, a semantics for multiagent systems in which agents can reason about individuals, their properties, and the relationships among them. We analyse a first-order epistemic language interpreted on this semantics and show soundness and completeness of Q.S5n, an axiomatisation for these structures.