Filtrations, canonical formulas, and axiomatizations of superintuitionistic and modal logics.

Nick Bezhanishvili

Browse the full AiML paper archive.