Common knowledge and quantification

DOI10.1007/S001990100201zbMath0994.03008OpenAlexW2056254556MaRDI QIDQ1349272

Holger Sturm, Frank Wolter, Michael Zakharyashchev

Publication date: 21 May 2002

Published in: Economic Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s001990100201

zbMATH Keywords

axiomatizabilitycommon knowledge operatorfirst-order epistemic logicmonodic fragment

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Related Items (5)

Quantified epistemic logics for reasoning about knowledge in multi-agent systems ⋮ Semantics for intuitionistic epistemic logics of shallow depths for game theory ⋮ A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems ⋮ First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment ⋮ A logical framework for convention

This page was built for publication: Common knowledge and quantification