The 0-1 law fails for monadic existential second-order logic on undirected graphs.
Jean-Marie Le BarsPublished in: Inf. Process. Lett. (2001)
Keyphrases
- undirected graph
- multi valued
- directed graph
- directed acyclic graph
- spanning tree
- approximation algorithms
- minimum cost
- connected components
- logic programming
- deductive databases
- higher order
- disjoint paths
- graph structure
- complex networks
- query answering
- random graphs
- classical logic
- positive integer
- multicommodity flow
- datalog programs
- modal logic
- legal reasoning
- data exchange
- binary images
- logic programs
- vertex set
- proof theory
- information extraction