Login / Signup

Decidable and Undecidable Problems for First-Order Definability and Modal Definability.

Philippe BalbianiTinko Tinchev
Published in: TbiLLC (2019)
Keyphrases
  • first order logic
  • propositional logic
  • fixed point
  • special case
  • open problems
  • evolutionary algorithm
  • optimization problems
  • datalog programs
  • finite model theory