A Labelled Sequent Calculus for Public Announcement Logic.

Hao Wu Hans van Ditmarsch Jinsheng Chen

Published in: CoRR (2022)

Keyphrases

sequent calculus
cut elimination
inference rules
linear logic
natural deduction
modal logic
wide class
linear time temporal logic
proof search
fixed point
theorem prover
classical logic
image segmentation
first order logic
desirable properties