SMT proof checking using a logical framework.

Aaron Stump Duckki Oe Andrew Reynolds Liana Hadarean Cesare Tinelli

Published in: Formal Methods Syst. Des. (2013)

Keyphrases

logical framework
linear logic
higher order logic
inference rules
belief revision
reasoning tasks
epistemic logic
theorem prover
theorem proving
possibilistic logic
normative systems
statistical machine translation
coalition logic
first order logic
lower bound
knowledge base
artificial intelligence