9 citations · 9 across the 1 of their papers we have counts for
1 paper
Mikhail Rybakov, Dmitry Shkatov
We investigate the relationship between recursive enumerability and elementary frame definability in first-order predicate modal logic. On the one hand, it is well-known that every…