Francesco Belardinelli, Alessio Lomuscio
We introduce and investigate quantified interpreted systems, a semantics to reason about knowledge and time in a firstorder setting. We provide an axiomatisation, which we show to be sound and complete. We utilise the formalism to study message passing systems (Lamport 1978; Fagin et al 1995) in a first-order setting, and compare the results obtained to those available for the propositional case.
Subjects: 11. Knowledge Representation; 7.1 Multi-Agent Systems
Submitted: Jun 16, 2008