TY - RPRT TI - A logic for networks AU - Massimo Franceschet PY - 2010 UR - https://arxiv.org/abs/1003.3629 ID - 1003.3629 ER -