Automating public announcement logic with relativized common knowledge as a fragment of HOL in LogiKEy

DOI10.1093/LOGCOM/EXAC029arXiv2111.01654WikidataQ126392301 ScholiaQ126392301MaRDI QIDQ6189205

Sebastian Reiche, Christoph Benzmüller

Publication date: 8 February 2024

Published in: Journal of Logic and Computation (Search for Journal in Brave)

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

zbMATH Keywords

higher-order logicproof automationpublic announcement logicrelativized common knowledgesemantical embedding

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

This page was built for publication: Automating public announcement logic with relativized common knowledge as a fragment of HOL in LogiKEy