Yuri Kazakov gave a talk titled "The Structural Proof Theory in the service of Formal Epistemology"

On December 3, a session of the research seminar “From the Logical Point of View” took place.

The most popular approach to formal epistemology and epistemic logic remains the model-theoretic approach. It is rare for logicians to create an appropriate structural proof theory, despite the convenience of the latter. In their recent article, S. Negri and E. Pavlovich propose a fairly natural place for proof theory in the context of Hintikka's theory of knowledge. Theories with the countermodel property and the invertible rules are also of particular interest. They make it possible not only to make statements about the derivability of formulas, but also, conversely, about their non-derivability, which can be useful for considering epistemic paradoxes. The presentation also plans to highlight other unexpected connections between Genzen-type proof theories and epistemic logic in the context of substructural logics and proof-theoretic semantics.