Public announcement logic in HOL

DOI10.1007/978-3-030-65840-3_14OpenAlexW3093680112MaRDI QIDQ2055768

Christoph Benzmüller, Sebastian Reiche

Publication date: 1 December 2021

Full work available at URL: https://arxiv.org/abs/2010.00810

zbMATH Keywords

higher-order logicproof automationpublic announcement logicrelativized common knowledgesemantical embedding

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Mechanization of proofs and logical operations (03B35) Higher-order logic (03B16) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: Public announcement logic in HOL