6 citations · 6 across the 5 of their papers we have counts for
1 paper · 1 filter
Andrey Kudinov
We consider quantified pretransitive Horn modal logic. It is known that such logics are complete with respect to predicate Kripke frames with expanding domains. In this paper we pr…