Formal approach to knowledge representation and its applications in theory of rational decision making

Abstract

The aim of the chapter is introducing of logical formalisms for the study of knowledge of agents, which is relevant for modeling of rational behaviour in game theory.