A quantified epistemic logic for reasoning about multiagent systems
Francesco Belardinelli, Alessio R. Lomuscio · 2007
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.