Login / Signup

A Tableau Method for Public Announcement Logics.

Philippe BalbianiHans P. van DitmarschAndreas HerzigTiago de Lima
Published in: TABLEAUX (2007)
Keyphrases