4 citations · 11 across the 11 of their papers we have counts for
1 paper · 1 filter
Jakub Michaliszyn
We study multimodal logics over universally first-order definable classes of frames. We show that even for bimodal logics, there are universal Horn formulas that define set of fram…