Public Announcement Logic in HOL.

Sebastian Reiche Christoph Benzmüller

Published in: CoRR (2020)

Keyphrases

theorem prover
natural deduction
formal methods
higher order logic
theorem proving
higher order
artificial intelligence
inference rules
high dimensional
programming language
fine grained
first order logic
modal logic