13 citations · 27 across the 3 of their papers we have counts for
1 paper · 1 filter
Mikhail Rybakov, Dmitry Shkatov
We study the algorithmic properties of first-order monomodal logics of frames ⟨N,≤⟩, ⟨N,<⟩, $\langle \mathbb{Q}, \leq \rangle…