Interactive Models of Closure and Introspection

Talk given at the Formal Epistemology Workshop 2010 (Konstanz, Germany).

Abstract. In this paper I give a more refined account of deductive closure and positive introspection by using the expressive resources of logics for different types of group knowledge.

download