Об одном варианте динамической логики знания

Abstract

In the paper the logic of knowledge, conviction, grounding, trust, belief, doubt and refuting are proposed. Such logic, named the dynamic logic of knowledge, ($L_{dyn}$-logic), is formulated in the axiomatic form and in the form of analytical tableaux. $L_{dyn}$-logic preserves intuitive properties of notions under discussion.