The Expressive Force of Some Fragments of Intuitionistic Propositional Logic with Regard to Kripke Frames.
Pieter Hendrik RodenburgPublished in: Math. Log. Q. (1991)
Keyphrases
- propositional logic
- first order logic
- inference rules
- belief revision
- theorem prover
- modal logic
- quantified boolean formulae
- desirable properties
- belief change
- temporal logic
- lattice theory
- possibilistic logic
- logical framework
- natural deduction
- fuzzy set theory
- classical logic
- model checking
- satisfiability testing
- fuzzy numbers
- davis putnam
- proof procedure
- data model
- propositional satisfiability
- nonmonotonic reasoning
- orders of magnitude
- machine learning