On the expressiveness of frame satisfiability and fragments of second-order logic (Q4391423)
From MaRDI portal
scientific article; zbMATH DE number 1158351
Language | Label | Description | Also known as |
---|---|---|---|
English | On the expressiveness of frame satisfiability and fragments of second-order logic |
scientific article; zbMATH DE number 1158351 |
Statements
On the expressiveness of frame satisfiability and fragments of second-order logic (English)
0 references
19 January 1999
0 references
descriptive complexity theory
0 references
Ackermann sentences
0 references
Bernays-Schönfinkel sentences
0 references
modal logic
0 references
expressive power
0 references
fragments of second-order logic
0 references
finite structures
0 references