The B5-Modalized Propositional Logic.

Bo Chen Kang Zhao Bing Zhang Cheng Wu Linlin Ma Changhui Ma Yuefei Sui

Published in: SKG (2019)

Keyphrases

propositional logic
first order logic
belief revision
davis putnam
lattice theory
possibilistic logic
satisfiability testing
quantified boolean formulae
orders of magnitude
belief change
solving hard
knowledge representation
proof procedure