Sergei Artemov: Hyperderivations

The lecture was held within the framework of the Hausdorff Trimester Program: Types, Sets and Constructions. Abstract: A well-principled notion of epistemic theory as an axiomatic description of a given scenario incorporated into the possible worlds environment is conspicuously absent in epistemic modal logic. We suggest filling this void and introduce a framework of hypertheories and corresponding models for epistemic reasoning with partial information.