Model-theoretic dividing lines in least fixed-point logic over finite structures.
Siddharth BhaskarAlex KruckmanPublished in: CoRR (2017)
Keyphrases
- fixed point
- model theoretic
- proof theoretic
- linear logic
- deductive databases
- operational semantics
- description logics
- decision procedures
- default reasoning
- logic programs
- default logic
- sufficient conditions
- fixpoint
- dynamical systems
- probabilistic reasoning
- proof theory
- modal logic
- cut elimination
- nonmonotonic reasoning
- sequent calculus
- belief propagation
- constraint databases
- formal semantics
- logic programming
- answer set programming
- bayesian networks