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