First Order Common Knowledge Logics |
| |
Authors: | Wolter Frank |
| |
Institution: | (1) Institut für Informatik, Universität Leipzig, Augustus-Platz 10-11, 04109 Leipzig, Germany |
| |
Abstract: | In this paper we investigate first order common knowledge logics; i.e., modal epistemic logics based on first order logic with common knowledge operators. It is shown that even rather weak fragments of first order common knowledge logics are not recursively axiomatizable. This applies, for example, to fragments which allow to reason about names only; that is to say, fragments the first order part of which is based on constant symbols and the equality symbol only. Then formal properties of "quantifying into" epistemic contexts are investigated. The results are illustrated by means of epistemic representations of Nash Equilibria for finite games with mixed strategies. |
| |
Keywords: | Epistemic Logic Game theory Axiomatizability Common knowledge |
本文献已被 SpringerLink 等数据库收录! |
|