Login / Signup

Existential Fixed-Point Logic as a Fragment of Second-Order Logic.

Andreas Blass
Published in: Fields of Logic and Computation II (2015)
Keyphrases
  • fixed point
  • linear logic
  • logic programming
  • search space
  • modal logic
  • floating point
  • knowledge base
  • image sequences
  • reinforcement learning
  • belief propagation
  • fixed point theorem