Cayley structures and common knowledge
From MaRDI portal
Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Basic properties of first-order languages and structures (03C07) Logic with extra quantifiers and operators (03C80) Applications of model theory (03C98)
Abstract: We investigate multi-agent epistemic modal logic with common knowledge modalities for groups of agents and obtain van Benthem style model-theoretic characterisations, in terms of bisimulation invariance of classical first-order logic over the non-elementary classes of (finite or arbitrary) common knowledge Kripke frames. The technical challenges posed by the reachability and transitive closure features of the derived accessibility relations are dealt with through passage to (finite) bisimilar coverings of epistemic frames by Cayley graphs of permutation groups whose generators are associated with the agents. Epistemic frame structure is here induced by an algebraic coset structure. Cayley structures with specific acyclicity properties support a locality analysis at different levels of granularity as induced by distance measures w.r.t. various coalitions of agents.
This page was built for publication: Cayley structures and common knowledge
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6325959)
