A Decidable Fragment of Second Order Logic With Applications to Synthesis.
P. MadhusudanUmang MathurShambwaditya SahaMahesh ViswanathanPublished in: CoRR (2017)
Keyphrases
- automata theoretic
- temporal logic
- logic synthesis
- higher order
- first order logic
- regular path queries
- function symbols
- linear time temporal logic
- guarded fragment
- program synthesis
- predicate logic
- logic programming
- digital circuits
- modal logic
- high order
- classical logic
- horn clauses
- asynchronous circuits
- functional programs
- monadic second order logic
- query containment
- logical framework
- automated reasoning
- texture synthesis
- regular expressions
- hessian matrix
- expressive power
- model checking