Аннотация:
Justification logics have become fairly well-known. While they began with one instance, LP, having an important application to intuitionistic semantics, it has been found that man modal logics have justification counterparts. The extent of this is not yet understood. I Realization theorems are at the heart - justification counterpart should record how information is used in a modal validity for some modal logic. I will discuss recent progress in pushing the edges of the justification family further out, and what the current understanding is.
