A Logic for Global and Local Announcements.

Francesco Belardinelli Hans van Ditmarsch Wiebe van der Hoek

Published in: TARK (2017)

Keyphrases

logic programming
multi valued
classical logic
databases
social networks
stock market
modal logic
global information
real time
short term