5 citations · 9 across the 5 of their papers we have counts for
1 paper · 1 filter
Tomasz Witczak
In this paper we investigate certain systems of propositional intuitionistic modal logic defined semantically in terms of neighborhood structures. We discuss various restrictions i…