scientific article; zbMATH DE number 2020142
From MaRDI portal
Publication:4440791
zbMath1037.03015MaRDI QIDQ4440791
Mikhail Rybakov, Alexander Chagrov
Publication date: 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)