No label defined (Q5104724)
From MaRDI portal
scientific article; zbMATH DE number 7585731
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 7585731 |
Statements
15 September 2022
0 references
first-order modal logic
0 references
predicate modal logic
0 references
restricted languages
0 references
decidability
0 references
undecidability
0 references
recursive enumerability
0 references
validity problem
0 references
satisfiability problem
0 references
\(\Sigma_1^1\)-hardness
0 references
\(\Pi_1^1\)-hardness
0 references
classification problem
0 references
