Arbitrary Propositional Network Announcement Logic.

Zuojun Xiong Thomas Ågotnes

Published in: DaLí (2020)

Keyphrases

multi valued
probabilistic logic
propositional logic
network model
peer to peer
first order logic
sound and complete axiomatization
logic programming
network structure
complex networks
computer networks
communication networks
network topologies
modal logic
proof procedure