Tableaux for Public Announcement Logic.

Philippe Balbiani Hans van Ditmarsch Andreas Herzig Tiago de Lima

Published in: J. Log. Comput. (2010)

Keyphrases

modal logic
decision procedures
functional dependencies
knowledge discovery
data mining
automated reasoning
databases
programming language
knowledge acquisition
inference rules
theorem proving
proof procedure
sequent calculi