7 citations · 19 across the 17 of their papers we have counts for
1 paper · 2 filters
Lev D. Beklemishev
Strictly positive logics recently attracted attention both in the description logic and in the provability logic communities for their combination of efficiency and sufficient expr…