1 problem

Let ${\bf K^W}$ be the logic considered in the paper, let a filter be a neighborhood frame whose neighborhood collections satisfy the filter conditions defined in the surrounding d…