scientific article; zbMATH DE number 7585731

MaRDI QIDQ5104724

Mikhail Rybakov, Dmitry Shkatov

Publication date: 15 September 2022

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

undecidabilitydecidabilitysatisfiability problemclassification problemfirst-order modal logicpredicate modal logicrecursive enumerabilityvalidity problemrestricted languages\(\Pi_1^1\)-hardness\(\Sigma_1^1\)-hardness

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (2)

Undecidability of QLTL and QCTL with two variables and one monadic predicate letter ⋮ Complexity of finite-variable fragments of propositional temporal and modal logics of computation

This page was built for publication: