9 citations · 32 across the 12 of their papers we have counts for
1 paper · 1 filter
Steffen Lewitzka
In previous work [Lewitzka, Log. J. IGPL 2017], we presented a hierarchy of classical modal systems, along with algebraic semantics, for the reasoning about intuitionistic truth, b…