A Labelled Sequent Calculus for Intuitionistic Public Announcement Logic.

Shoshin Nomura Katsuhiko Sano Satoshi Tojo

Published in: LPAR (2015)

Keyphrases

sequent calculus
cut elimination
linear logic
natural deduction
inference rules
wide class
modal logic
fixed point
logic programming
linear time temporal logic
sufficient conditions
desirable properties
logical framework
proof search
classical logic
artificial intelligence
theorem prover
training set