A Labelled Sequent Calculus for Public Announcement Logic
Logic in Computer Science
2022-10-28 v2
Abstract
Public announcement logic(PAL) is an extension of epistemic logic (EL) with some reduction axioms. In this paper, we propose a cut-free labelled sequent calculus for PAL, which is an extension of that for EL with sequent rules adapted from the reduction axioms. This calculus admits cut and allows terminating proof search.
Keywords
Cite
@article{arxiv.2207.10262,
title = {A Labelled Sequent Calculus for Public Announcement Logic},
author = {Hao Wu and Hans van Ditmarsch and Jinsheng Chen},
journal= {arXiv preprint arXiv:2207.10262},
year = {2022}
}