A Decidable Fragment of Second Order Logic With Applications to Synthesis.
P. MadhusudanUmang MathurShambwaditya SahaMahesh ViswanathanPublished in: CSL (2018)
Keyphrases
- automata theoretic
- temporal logic
- logic synthesis
- higher order
- modal logic
- linear time temporal logic
- regular path queries
- program synthesis
- first order logic
- hessian matrix
- set theory
- functional programs
- logic circuits
- deontic logic
- epistemic logic
- data sets
- defeasible logic
- computational properties
- probability theory
- model checking
- neural network