First order common knowledge logics (Q1582313)

First-order common knowledge logics are investigated. It is shown that even rather weak fragments of these logics are not recursively axiomatizable. This applies, for example, to fragments whose first-order part is based on constant symbols and the equality symbol only. Formal properties of ``quantifying into'' epistemic contexts are investigated. The results are illustrated by means of epistemic representations of mixed-strategy Nash equilibria.