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

DOI10.3233/FI-2011-382zbMath1252.03031OpenAlexW3021055172MaRDI QIDQ3100161

Francesco Belardinelli, Alessio Lomuscio

Publication date: 22 November 2011

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2011-382

zbMATH Keywords

completenessKripke modelstemporal logicmulti-agent systemsepistemic logicfirst-order modal logicmessage passing systemsBarcan formulainterpreted systems

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Temporal logic (03B44) Agent technology and artificial intelligence (68T42)

Related Items (4)

A complete coalition logic of temporal knowledge for multi-agent systems ⋮ Unnamed Item ⋮ Reasoning about knowledge, belief and certainty in hierarchical multi-agent systems ⋮ Beyond Knowing That: A New Generation of Epistemic Logics

This page was built for publication: First-Order Linear-time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment