Statements (25)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:logic
|
| gptkbp:abbreviation |
gptkb:MSO
|
| gptkbp:decidable_on |
finite words
finite trees |
| gptkbp:does_not_quantify_over |
relations of arity greater than one
|
| gptkbp:expressiveness |
less expressive than full second-order logic
more expressive than first-order logic |
| gptkbp:field |
gptkb:logic
gptkb:Theoretical_computer_science |
| gptkbp:generalizes |
gptkb:First-order_logic
|
| https://www.w3.org/2000/01/rdf-schema#label |
Monadic Second-Order Logic
|
| gptkbp:quantifies_over |
individual elements
sets of elements |
| gptkbp:relatedTo |
gptkb:Büchi_automaton
Courcelle's theorem Tree automaton |
| gptkbp:subclassOf |
gptkb:Second-order_logic
|
| gptkbp:type |
gptkb:Second-order_logic
|
| gptkbp:undecidable_on |
arbitrary graphs
|
| gptkbp:used_in |
gptkb:Automata_theory
Descriptive complexity Finite model theory |
| gptkbp:bfsParent |
gptkb:MSOL
gptkb:Computation_Tree_Logic* |
| gptkbp:bfsLayer |
7
|