Fragments of Existential Second-Order Logic without 0-1 Laws.
Jean-Marie Le BarsPublished in: LICS (1998)
Keyphrases
- differential equations
- higher order
- logic programming
- predicate logic
- multi valued
- high order
- query answering
- asynchronous circuits
- case study
- modal logic
- classical logic
- nonmonotonic logics
- digital circuits
- delay insensitive
- sound and complete axiomatization
- ontology based data access
- database
- linear logic
- search engine
- databases