Algorithmic Properties of First-Order Modal Logics of the Natural Number Line in Restricted Languages.

Mikhail N. Rybakov, Dmitry Shkatov

Browse the full AiML paper archive.