scientific article; zbMATH DE number 7084851
From MaRDI portal
Publication:5224585
zbMath1418.03100MaRDI QIDQ5224585
Mikhail Rybakov, Dmitry Shkatov
Publication date: 24 July 2019
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Classical first-order logic (03B10) Recursively (computably) enumerable sets and degrees (03D25)
Related Items (3)
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 ⋮ A simple example of blocking the Craig trick
This page was built for publication:
