7 citations · 19 across the 17 of their papers we have counts for
1 paper · 1 filter
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…