Epistemic extensions of combined classical and intuitionistic propositional logic.

Steffen Lewitzka

Published in: Log. J. IGPL (2017)

Keyphrases

propositional logic
belief change
horn logic
belief revision
first order logic
truth maintenance systems
valued logic
possibilistic logic
lattice theory
theorem prover
quantified boolean formulae
probability theory
davis putnam
satisfiability testing
proof procedure
logical framework
domain knowledge