First order quantifiers in monadic second order logic (Q5311712)
From MaRDI portal
scientific article; zbMATH DE number 2199920
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | First order quantifiers in monadic second order logic |
scientific article; zbMATH DE number 2199920 |
Statements
First order quantifiers in monadic second order logic (English)
0 references
29 August 2005
0 references
expressive power
0 references
first-order quantifier
0 references
monadic second-order logic
0 references
quantifier hierarchy
0 references
first-order closure
0 references
