A Separation Logic for Negative Dependence.

Jialu Bao Marco Gaboardi Justin Hsu Joseph Tassarotti

Published in: CoRR (2021)

Keyphrases

modal logic
information systems
positive and negative
computational properties
proof theory
social networks
logic programming
nonmonotonic logics
classical logic
delay insensitive