Model-Theoretic characterization of intuitionistic Propositional Formulas.
Grigory K. OlkhovikovPublished in: Rev. Symb. Log. (2013)
Keyphrases
- model theoretic
- propositional formulas
- deductive databases
- description logics
- operational semantics
- decision procedures
- propositional logic
- logic programs
- fixpoint
- default reasoning
- normal form
- linear logic
- probabilistic reasoning
- propositional satisfiability
- theorem prover
- automated reasoning
- logic programming
- theorem proving
- machine learning
- database
- decision problems
- integrity constraints
- probabilistic logic
- expert systems
- bayesian networks