First-Order Linear-time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment

Issue title: Logic, Language, Information and Computation

Article type: Research Article

Authors: Belardinelli, Francesco | Lomuscio, Alessio

Affiliations: Department of Computing, Imperial College London, UK. {F.Belardinelli, A.Lomuscio}@imperial.ac.uk

Note: [] Address for correspondence: Department of Computing, Imperial College London, UK

Abstract: We investigate quantified interpreted systems, a computationally grounded semantics for a first-order temporal epistemic logic on linear time. We report a completeness result for the monodic fragment of a language that includes LTL modalities as well as distributed and common knowledge. We exemplify possible uses of the formalism by analysing message passing systems, a typical framework for distributed systems, in a first-order setting.

Keywords: First-order Modal Logic, Temporal Logic, Epistemic Logic, Multi-Agent Systems, Completeness

DOI: 10.3233/FI-2011-382

Journal: Fundamenta Informaticae, vol. 106, no. 2-4, pp. 175-190, 2011