Epistemic extensions of combined classical and intuitionistic propositional logic.
Steffen LewitzkaPublished in: CoRR (2016)
Keyphrases
- propositional logic
- belief change
- horn logic
- belief revision
- first order logic
- possibilistic logic
- valued logic
- truth maintenance systems
- lattice theory
- quantified boolean formulae
- probability theory
- nonmonotonic logics
- davis putnam
- default logic
- theorem prover
- propositional formulas
- proof procedure
- logical framework
- fuzzy set theory
- expressive power
- satisfiability testing
- computational intelligence