Logics of communication and change.

Johan van Benthem Jan van Eijck Barteld P. Kooi

Published in: Inf. Comput. (2006)

Keyphrases

communication systems
information sharing
expressive power
communication networks
communication overhead
inference rules
resource constrained
information systems
higher order
modal logic
multi party
classical logic
conditional logic
sharing information
propositional calculus