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

Mikhail N. Rybakov Dmitry Shkatov

Published in: AiML (2020)

Keyphrases

modal logic
small number
nonmonotonic logics
computational complexity
special case
higher order
data exchange
incomplete information