Algorithmic complexity of monadic multimodal predicate logics with equality over finite Kripke frames
From MaRDI portal
Publication:6441271
arXiv2306.13559MaRDI QIDQ6441271FDOQ6441271
Authors: Irina Agadzhanian, Mikhail Rybakov, D. P. Shkatov 
Publication date: 23 June 2023
Abstract: The paper investigates algorithmic complexity of monadic multimodal predicate logics with equality over finite Kripke frames or classes of finite Kripke frames. Precise complexity bounds for monadic logics of classes of Kripke frames with finitely many possible worlds are obtained.
This page was built for publication: Algorithmic complexity of monadic multimodal predicate logics with equality over finite Kripke frames
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6441271)
