Formalizing Axiomatic Systems for Propositional Logic in Isabelle/HOL.

Asta Halkjær From Agnes Moesgård Eschen Jørgen Villadsen

Published in: CICM (2021)

Keyphrases

propositional logic
theorem prover
belief revision
first order logic
quantified boolean formulae
belief change
possibilistic logic
natural deduction
davis putnam
horn logic