Undecidability, incompleteness, and completeness of second-order logic in Coq.

Mark Koch Dominik Kirst

Published in: CPP (2022)

Keyphrases

higher order
description logics
modal logic
logic programming
incomplete information
databases
classical logic
deontic logic
high order
nonmonotonic logics
theorem prover
probabilistic planning
predicate logic
digital circuits
defeasible logic
logical framework
automated reasoning
genetic algorithm
machine learning