Login / Signup

Synthetic Undecidability and Incompleteness of First-Order Axiom Systems in Coq.

Dominik KirstMarc Hermes
Published in: ITP (2021)
Keyphrases
  • complex systems
  • management system
  • formal methods
  • building blocks
  • first order logic
  • real world
  • higher order
  • description logics
  • intelligent systems
  • knowledge based systems
  • missing values