Automating Public Announcement Logic and the Wise Men Puzzle in Isabelle/HOL.

Christoph Benzmüller Sebastian Reiche

Published in: Arch. Formal Proofs (2021)

Keyphrases

theorem prover
natural deduction
inference rules
theorem proving
first order logic
higher order logic
pairwise
cut elimination
data sets
sliding tile
sequent calculus
gender differences
hidden markov models
digital libraries
formal methods
similarity measure
three dimensional
case study
neural network