The DAO attack paradoxes in propositional logic.

Xiangfu Zhao Zhongyu Chen Xin Chen Yanxia Wang Changbing Tang

Published in: ICSAI (2017)

Keyphrases

propositional logic
first order logic
belief revision
quantified boolean formulae
possibilistic logic
inference rules
lattice theory
nonmonotonic logics
davis putnam
proof procedure
satisfiability testing
expert systems
machine translation
normal form
horn logic