Grigory Olkhovikov: Justification stit logics

Lecture by Grigory Olkhovikov (Bochum), organized by the Department of Theoretical Philosophy

Justification stit logics: Axiomatizations and Expressivity

We consider the class of justification stit models which merge the semantical structures of stit models and those of the models of justification logic and establish a non-trivial interaction between them. We briefly comment on how these models can be used to represent the doxastic activity of agents directed towards making proofs epistemically transparent within the community ("proving things"). Formally, we describe some of the logics that can be defined over it, mainly focusing on the fragments of basic justification stit logic and the so-called logic of E-notions. We present and discuss the axiomatizations recently obtained for these logics and prove some elementary facts about their expressive powers.