Mechanising Gödel-Löb Provability Logic in HOL Light.

Marco Maggesi Cosimo Perini Brogi

Published in: J. Autom. Reason. (2023)

Keyphrases

natural deduction
higher order logic
theorem prover
formal methods
automated reasoning
higher order
multi valued
classical logic
modal logic
data sets
model checker
logical framework
dynamic logic
epistemic logic
abductive reasoning
conditional logic
set theory
video sequences
artificial intelligence